참고문헌
- Smart contract, http://https://en.wikipedia.org/wiki/Smart_contract
- Nick Szabo, "The idea of smart contracts," http://szabo.best.vwh.net/smart_contracts_idea.html
- Ethereum, https://www.ethereum.org
- K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi, "Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab." IACR Cryptology ePrint Archive
- A. Juels, A. Kosba, and E. Shi., "The Ring of Gyges: Using Smart Contracts for Crime." http://arijuels.com, (in submission.) 2015.
- Darkleaks, https://github.com/darkwallet/darkleaks
- M. Andrychowicz, S. Dziembowski, and D. Malinowski, "Modeling Bitcoin Contracts by Timed Automata." arXiv.org.
- A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou, "Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts," IACR Cryptology ePrint Archive