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.
Original language | English |
---|---|
Title of host publication | ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice |
Editors | Tiziana Margaria, Bernhard Steffen |
Number of pages | 5 |
Volume | 11247 LNCS |
Publisher | Springer, Cham |
Publication date | 30.10.2018 |
Pages | 275-279 |
ISBN (Print) | 978-3-030-03426-9 |
ISBN (Electronic) | 978-3-030-03427-6 |
DOIs | |
Publication status | Published - 30.10.2018 |
Event | 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cyprus Duration: 05.11.2018 → 09.11.2018 Conference number: 220209 |