Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions

  • César SánchezEmail author
  • Gerardo SchneiderEmail author
  • Martin LeuckerEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11247)


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.


  1. 1.
  2. 2.
  3. 3.
    Hern, A.: \$300m in cryptocurrency accidentally lost forever due to bug, November 2017. Appeared at The Guardian
  4. 4.
    Mix. Ethereum bug causes integer overflow in numerous ERC20 smart contracts (update) (2018). Appeared at HardFork
  5. 5.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. White Paper (2009)
  6. 6.
    Qureshi, H.: A hacker stole \$31M of Ethereum – how it happened, and what it means for Ethereum (2017). Appeared at FreeCodeCamp

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.IMDEA Software InstituteMadridSpain
  2. 2.University of GothenburgGothenburgSweden
  3. 3.University of LübeckLübeckGermany

Personalised recommendations