Abstract
The popularization of blockchain technologies have brought a sudden interest in software that executes on top of blockchain, the so called smart contracts, with many potential applications, from financial contracts to unforgeable elections. Smart contracts are pieces of software that manipulate the shared data stored in the blockchain, with the promise that no central authority can forge or manipulate the execution or its results. This promise also involves an important risk, as well-intentioned users cannot easily roll-back undesired effects due to errors, or prevent other users from finding and exploiting loop-holes in deployed smart contracts. In this ISoLA track we seek to attract a variety of experts in the different aspects of smart contract reliability, discuss the state of the art and explore avenues for future research.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ethereum. https://www.ethereum.org
Solidity. http://solidity.readthedocs.io/en/develop/introduction-to-smart-contracts.html
Hern, A.: \$300m in cryptocurrency accidentally lost forever due to bug, November 2017. Appeared at The Guardian https://www.theguardian.com/technology/2017/nov/08/cryptocurrency-300m-dollars-stolen-bug-ether
Mix. Ethereum bug causes integer overflow in numerous ERC20 smart contracts (update) (2018). Appeared at HardFork https://thenextweb.com/hardfork/2018/04/25/ethereum-smart-contract-integer-overflow/
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. White Paper (2009) https://bitcoin.org/bitcoin.pdf
Qureshi, H.: A hacker stole \$31M of Ethereum – how it happened, and what it means for Ethereum (2017). Appeared at FreeCodeCamp https://medium.freecodecamp.org/a-hacker-stole-31m-of-ether-how-it-happened-and-what-it-means-for-ethereum-9e5dc29e33ce
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Sánchez, C., Schneider, G., Leucker, M. (2018). Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA 2018. Lecture Notes in Computer Science(), vol 11247. Springer, Cham. https://doi.org/10.1007/978-3-030-03427-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-03427-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03426-9
Online ISBN: 978-3-030-03427-6
eBook Packages: Computer ScienceComputer Science (R0)