Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab. - Kevin Delmolino; Mitchell Arnett; Ahmed E. Kosba; Andrew Miller 001; Elaine Shi (IACR Cryptol. ePrint Arch., 2015)