Executable Operational Semantics of Solidity

Preprint English OPEN
Jiao, Jiao; Kan, Shuanglong; Lin, Shang-Wei; Sanan, David; Liu, Yang; Sun, Jun;
(2018)
  • Subject: Computer Science - Programming Languages

Bitcoin has attracted everyone's attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin's design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable... View more
  • References (18)
    18 references, page 1 of 2

    1. Yoichi Hirai. De ning the Ethereum Virtual Machine for Interactive Theorem Provers. Financial Cryptography and Data Security 2017.

    2. Sidney Amani, Myriam Begel, Maksym Bortin and Mark Staples. Towards Verifying Ethereum Smart Contract Bytecode in Isabelle/HOL. Proceedings of the 7th ACM SIGPLAN International Conference on Certi ed Programs and Proofs

    3. Kevin Delmolino, Mitchell Arnett, Ahmed E. Kosba, Andrew Miller and Elaine Shi. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. Financial Cryptography and Data Security - FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers.

    4. Understanding the DAO attack. http://www.coindesk.com/understanding-daohack-journalists/.

    5. K-framework. http://www.kframework.org/index.php/.

    6. Remix - Solidity IDE. http://remix.readthedocs.io/en/latest/.

    7. Solidity 0.4.20 documentation. https://solidity.readthedocs.io/en/develop/

    8. Nicola Atzei, Massimo Bartoletti and Tiziana Cimoli. A Survey of Attacks on Ethereum Smart Contracts (SoK). Principles of Security and Trust - 6th International Conference.

    9. Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu, Nishant Rodrigues, Philip Daian, Dwight Guth and Grigore Rosu. KEVM: A Complete Semantics of the Ethereum Virtual Machine. http://hdl.handle.net/2142/97207.

    10. Denis Bogdanas and Grigore Rosu. K-Java: A Complete Semantics of Java. Proceedings of the 42nd Symposium on Principles of Programming Languages (POPL'15).

  • Related Organizations (4)
  • Metrics
Share - Bookmark