Reliable smart contracts: State-of-the-art, applications, challenges and future directions

César Sánchez*, Gerardo Schneider, Martin Leucker

*Corresponding author for this work

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 languageEnglish
Title of host publicationISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
EditorsTiziana Margaria, Bernhard Steffen
Number of pages5
Volume11247 LNCS
PublisherSpringer, Cham
Publication date30.10.2018
Pages275-279
ISBN (Print)978-3-030-03426-9
ISBN (Electronic)978-3-030-03427-6
DOIs
Publication statusPublished - 30.10.2018
Event8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cyprus
Duration: 05.11.201809.11.2018
Conference number: 220209

Fingerprint

Dive into the research topics of 'Reliable smart contracts: State-of-the-art, applications, challenges and future directions'. Together they form a unique fingerprint.

Cite this