Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9604 LNCS, Issue , 2016, Pages 79-94

  Delmolino, Kevin ^a   Arnett, Mitchell ^a   Kosba, Ahmed ^a   Miller, Andrew ^a,b   Shi, Elaine ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; EDUCATION; STUDENTS; TEACHING;

BEST PRACTICES; CONTRACTUAL PARTIES; COURSE MATERIAL; UNDERGRADUATE STUDENTS; UNIVERSITY OF MARYLAND;

ELECTRONIC MONEY;

EID: 84988038828     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-662-53357-4_6     Document Type: Conference Paper

References (23)

1. Blockhash Contract. https://github.com/amiller/ethereum-blockhashes
2. Etherpot. https://etherpot.github.io/
3. The rise and rise of bitcoin. Documentary. http://bitcoindoc.com/
4. Smart Contract Programming Open Course Materials. http://mc2-umd.github.io/ethereumlab/
5. Ahamad, S., Nair, M., Varghese, B.: A survey on crypto currencies. In: International Conference on Advances in Civil Engineering (2013)
6. Andrychowicz, M., Dziembowski, S., Malinowski, D., Mazurek, L.: Secure multiparty computations on bitcoin. In: IEEE Symposium on Security and Privacy (2013)
7. Barber, S., Boyen, X., Shi, E., Uzun, E.: Bitter to better — how to make bitcoin a better currency. In: Keromytis, A. D. (ed.) FC 2012. LNCS, vol. 7397, pp. 399–414. Springer, Heidelberg (2012)
8. Bentov, I., Kumaresan, R.: How to use bitcoin to design fair protocols. In: Garay, J. A., Gennaro, R. (eds.) CRYPTO 2014, Part II. LNCS, vol. 8617, pp. 421–439. Springer, Heidelberg (2014)
9. Bonneau, J., Miller, A., Clark, J., Narayanan, A., Kroll, J. A., Felten, E. W.: SoK: research perspectives and challenges for bitcoin and cryptocurrencies. In: IEEE Symposium on Security and Privacy, SP, San Jose, CA, USA, pp. 104–121, 17–21 May 2015
10. Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. In: IEEE Symposium on Foundations of Computer Science (FOCS) (2001)
11. Canetti, R., Dodis, Y., Pass, R., Walfish, S.: Universally composable security with global setup. In: Vadhan, S. P. (ed.) TCC 2007. LNCS, vol. 4392, pp. 61-85. Springer, Heidelberg (2007)
12. Canetti, R., Rabin, T.: Universal composition with joint state. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 265–281. Springer, Heidelberg (2003)
13. Chaum, D., Fiat, A., Naor, M.: Untraceable electronic cash. In: Goldwasser, S. (ed.) CRYPTO 1988. LNCS, vol. 403, pp. 319–327. Springer, New York (1990)
14. Dermody, A. K. R., Slama, O.: Counterparty Announcement, January 2014. https://bitcointalk.org/index.php?topic=395761.0
15. Juels, A., Kosba, A., Shi, E.: Rings of gyges: using smart contractsfor crime. Manuscript (2015)
16. Kosba, A., Miller, A., Papamanthou, C., Shi, E., Wen, Z.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. https://eprint.iacr.org/2015/675.pdf
17. Lewenberg, Y., Sompolinsky, Y., Zohar, A.: Inclusive block chain protocols. In: Financial Cryptography and Data Security (FC) (2015)
18. Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)
19. Pass, R., Shelat, A.: Micropayments for decentralized currencies. In: Proceedings of 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2015, pp. 207–218 (2015)
20. Ruffing, T., Kate, A., Schröder, D.: Liar, liar, coins on fire! Penalizing equivocation by loss of bitcoins. In: Proceedings of 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS 2015 (2015)
21. Sompolinsky, Y., Zohar, A.: Accelerating bitcoin’s transaction processing. Fast money grows on trees, not chains. IACR Cryptology ePrint Archive 2013: 881 (2013)
22. Etheruem Wiki: Serpent (2015). https://github.com/ethereum/wiki/wiki/Serpent
23. Wood, G.: Ethereum: a secure decentralized transaction ledger (2014). http://gavwood.com/paper.pdf