ISOLA 2018 - Track on Smart and Reliable Contacts


Blockchain is a global distributed ledger or database running on millions of devices where not just information but anything of value (money, music, art, intellectual property, votes, etc.) can be moved and stored securely and privately [1]. On the blockchain trust is established through mass (distributed) collaboration. Blockchain has the potential to change in a fundamental way how we deal not only with financial services but also with more general applications, improving transparency and regulation. Many applications have been proposed, starting with bitcoin [1], and smart contracts as introduced in Ethereum [2].

Smart contracts are software programs that self-execute complex instructions on blockchains. The promise of smart contract technology is to diminish the costs of contracting, enforcing contractual agreements, and making payments, while at the same time ensuring trust and compliance with the absence of a central authority. It is not clear, however, whether this promise can be delivered given the current state-of-the-art and state-of-practice of smart contracts.

In particular, the two most recent multi-million Ethereum bugs [4,5] just witness what the community were afraid of: that it is not clear what the contracts mean and how to ensure that they are reliable and bug-free. This calls for better programming languages with stronger security & privacy guarantees (or to provide mechanisms for verification, security and privacy to existing ones).


In this track we want to encourage contributions for discussions related, but not limited, to:

  • Research on different languages for expressing smart contracts (e.g., Solidity [3]).
  • Research on the use of formal methods for specifying and verifying smart contracts (both statically and at runtime).
  • Surveys and SoK about security and privacy issues related to smart contract technologies.
  • New applications based on smart contracts.
  • Description of challenges and research directions to future development for better smart contracts.


  • Paper submission March 31, 2018
  • Notification of acceptance  May 31, 2018
  • Camera-ready version  July 31, 2018
  • Early registration  August 31, 2018
  • Symposium ISoLA 2018  November 5-9, 2018


The ISoLA proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series.


There will be 3-4 sessions according to the ISoLA schedule, with three to four invited presentations of 20 minutes and 30 minutes for a general discussion. The sessions will be structured according to the different viewpoints or application fields from which the speakers the topic.

Invited speakers (confirmed)


For more information, please e-mail one of the track chairs.