Results 341 to 350 of about 1,554,184 (382)
Some of the next articles are maybe not open access.
2019
A smart contract sits on the blockchain network and responds automatically to certain “trigger” events. This means that smart contracts not only set out the terms and conditions of an agreement in the same way as a traditional contract, but also automatically enforces those obligations. BIMCO can only guess what the future holds for charter parties and
openaire +3 more sources
A smart contract sits on the blockchain network and responds automatically to certain “trigger” events. This means that smart contracts not only set out the terms and conditions of an agreement in the same way as a traditional contract, but also automatically enforces those obligations. BIMCO can only guess what the future holds for charter parties and
openaire +3 more sources
ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically
IEEE Transactions on Reliability, 2022As one of the most complex types of vulnerabilities, reentrancy poses a significant threat to smart contract development. Indeed, millions of dollars have evaporated due to reentrancy vulnerabilities of smart contracts in past years.
Bixin Li, Zhenyu Pan, Tianyuan Hu
semanticscholar +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 ...
Paolo Dal Checco, Maria Letizia Perugini
openaire +2 more sources
Behavioral simulation for smart contracts
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020While smart contracts have the potential to revolutionize many important applications like banking, trade, and supply-chain, their reliable deployment begs for rigorous formal verification. Since most smart contracts are not annotated with formal specifications, general verification of functional properties is impeded.
Beillahi, Sidi Mohamed +3 more
openaire +2 more sources
2019
Blockchain and smart contracts are receiving an ever-growing attention from the industrial and research fields as well as a wide coverage from the media. In fact, while at the beginning, blockchain’s and smart contracts’ core concepts were only mastered by a small group of technology enthusiasts, recently a high number of people with different ...
Valentina Gatteschi +2 more
openaire +2 more sources
Blockchain and smart contracts are receiving an ever-growing attention from the industrial and research fields as well as a wide coverage from the media. In fact, while at the beginning, blockchain’s and smart contracts’ core concepts were only mastered by a small group of technology enthusiasts, recently a high number of people with different ...
Valentina Gatteschi +2 more
openaire +2 more sources
Smart (Legal) Contracts, or: Which (Contract) Law for Smart Contracts?
2020The law applicable to smart contracts is a neglected topic. At times it is even discarded as irrelevant or unnecessary. In fact, many authors claim that smart contracts especially when stored and executed with the help of blockchain technology make contract law and, in fact, the entire legal system obsolete.
openaire +2 more sources
The chimera of smart contracts
2020This comprehensive Research Handbook examines the continuum between private ordering and state regulation in the lex mercatoria, highlighting constancy and change in this dynamic and evolving system in order to offer an in-depth discussion of international commercial contract law.
openaire +2 more sources
Smart Contracts for Contract Management
2020This book chapter discusses the advantages of smart contracts for contract management by presenting a decentralized application for retention payment on the blockchain platform. The proposed smart contract application performs the execution of retention clauses of a typical project contract by performing automated payment of retention immediately after
Rifat Sonmez +2 more
openaire +2 more sources
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.
Bartoletti, Massimo +2 more
openaire +4 more sources
2020
The traditional financial system has the ability to facilitate forensic investigations into crimes relating to financial fraud. The same cannot be said about the blockchain-based financial system that has come to exist over the past few years. This financial system does not tolerate third parties impeding transactions and so presents the problem of not
Byron Kruger, Wai Sze Leung
openaire +2 more sources
The traditional financial system has the ability to facilitate forensic investigations into crimes relating to financial fraud. The same cannot be said about the blockchain-based financial system that has come to exist over the past few years. This financial system does not tolerate third parties impeding transactions and so presents the problem of not
Byron Kruger, Wai Sze Leung
openaire +2 more sources