Results 271 to 280 of about 27,305 (300)
Some of the next articles are maybe not open access.
2019
Analysis of complications and limitations in using smart contracts in practice, focusing on the topic of excuses for breach of ...
openaire +1 more source
Analysis of complications and limitations in using smart contracts in practice, focusing on the topic of excuses for breach of ...
openaire +1 more source
Fun with Bitcoin Smart Contracts
2018Besides simple transfers of currency, Bitcoin also enables various forms of smart contracts, i.e. protocols where users interact within pre-agreed rules, which determine (possibly depending on the actual interaction) how currency is eventually distributed.
Massimo Bartoletti +2 more
openaire +4 more sources
Aplos: Smart Contracts Made Smart
2019Smart contract is a programming interface to interact with the underlying blockchain storage models. It is a database abstraction layer for blockchain. Existing smart contract platforms follow the imperative style programming model since states are shared.
Eranga Bandara +3 more
openaire +1 more source
Introduzione Agli Smart Contract (Introduction to Smart Contract)
SSRN Electronic Journal, 2015Please find the English version of this paper at http://ssrn.com/abstract=2729548.Italian Abstract: Nel 2008 il protocollo Bitcoin ha introdotto una nuovo modo di trasferire diritti: il modello di Blockchain, uno schema matematico che combina una serie di algoritmi per procedere all'incorporazione di determinati diritti in una stringa digitale ...
Maria Letizia Perugini, Paolo Dal Checco
openaire +1 more source
Smart Derivative Contracts in DatalogMTL
SSRN Electronic JournalDerivative contracts, either from traditional finance or reproduced in the crypto world in the form of smart contracts, are a very popular financial instrument widely used in the industry and of great interest to supervisors, financial intermediaries, and investment banks.
A. Colombo +3 more
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022, Shang-Wei Lin, Palina Tolmach
exaly
Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects
GLOBECOM 2023 - 2023 IEEE Global Communications Conference, 2023Shen Su +8 more
openaire +1 more source
Intelligent contracts: Making smart contracts smart for blockchain intelligence
Computers and Electrical Engineering, 2022Liwei Ouyang +2 more
openaire +1 more source