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
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/.