Posted on April 23, 2018 at 14:00 AM
Nicola Atzei, Tiziana Cimoli and Stefano Lande attended the 7th International Conference on Principles of Security and Trust (POST), held as part of the 21th International European Join Conferences on Theory & Practice of Software (ETAPS).
Nicola Atzei presents the paper SoK: unraveling Bitcoin smart contracts.
The paper proposes a comprehensive survey of smart contracts on Bitcoin, in a uniform framework. Our treatment is based on a new formal specification language for smart contracts, which also helps us to highlight some subtleties in existing informal descriptions, making a step towards automatic verification. We discuss some obstacles to the diffusion of smart contracts on Bitcoin, and we identify the most promising open research challenges.