… We then present the challenges in smart contracts as well as recent technical advances.
We also compare typical smart contract platforms and give a categorization of smart contract …

… traditional contracts and contract law. The aim of this chapter is to clarify that, usually, a smart
contract is a programmed functionality which executes some part of the legal contract. This …

… contracts, holding millions dollars worth of virtual coins. In this paper, we investigate the security
of running smart contracts … an adversary can manipulate smart contract execution to gain …

… Rigidity is also partially due to the closure determined by specific technological choices; for
instance, although Solidity considers the use of libraries (ie reusable smart contract deployed …

… of blockchain-enabled smart contracts from both technical and … blockchain-enabled smart
contract solutions, categorize the … on smart contract improvement (ie, addressing smart contract …

… If a user creates and distributes a smart contract, others will be able to interact with it while …
of the smart contract protocol. We firstly introduce the history of blockchain and smart contracts …

… smart contracts' operation and place in existing contract law. It introduces a distinction between
strong and weak smart contracts, … The article concludes that smart contracts are simply a …

… We review how this mechanism works and also look into smart contracts—scripts that reside
on the blockchain that allow for the automation of multi-step processes. We then move into …

… Our study focuses exclusively on this subset of smart contracts. Such smart contracts have
… Unlike onchain smart contracts, an off-chain smart contract only needs to be signed and …

… by smart contracts. To address this problem, we present Securify, a security analyzer for
Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors …