Town crier: An authenticated data feed for smart contracts

Proceedings of the ACM Conference on Computer and Communications Security

Volumn 24-28-October-2016, Issue , 2016, Pages 270-282

  Zhang, Fan ^a   Cecchetti, Ethan ^a   Croman, Kyle ^a   Juels, Ari ^b   Shi, Elaine ^a  

^a Cornell University IC3 ^*  (United States)

^b Jacobs Institute IC3 ^*  (United States)

Author keywords

Authenticated data feeds; Bitcoin; Ethereum; Intel SGX; Smart contracts; Trusted hardware

Indexed keywords

COMPUTER HARDWARE; HARDWARE; HTTP; RECONFIGURABLE HARDWARE; WEBSITES;

BITCOIN; DATA FEED; ETHEREUM; INTEL SGX; TRUSTED HARDWARES;

ELECTRONIC DATA INTERCHANGE;

EID: 84995426874     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2976749.2978326     Document Type: Conference Paper

References (39)

1. http://coinmarketcap.com/currencies/ethereum.
2. Augur. http://www.augur.net/.
3. PriceFeed smart contract. Referenced Feb. 2016 at http://feed.ether.camp/.
4. Steam online gaming platform. http://store.steampowered.com/.
5. TLSnotary - a mechanism for independently audited https sessions. https://tlsnotary.org/TLSNotary.pdf, 10 Sept. 2014.
6. Cornell researchers unveil a virtual notary. Slashdot, 20 June 2013.
7. Oraclize: "The provably honest oracle service". www.oraclize.it, Referenced Feb. 2016.
8. I. Anati, S. Gueron, and S. Johnson. Innovative technology for CPU based attestation and sealing. In Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, 2013.
9. ARM Limited. mbedTLS (formerly known as PolarSSL). https://tls.mbed.org/.
10. A. Baumann, M. Peinado, and G. Hunt. Shielding Applications from an Untrusted Cloud with Haven. In OSDI, 2014.
11. J. Bonneau, J. Clark, and S. Goldfeder. On bitcoin as a public randomness source. https://eprint.iacr.org/2015/1015.pdf, 2015.
12. E. Brickell and J. Li. Enhanced Privacy ID from Bilinear Pairing. IACR Cryptology ePrint Archive, 2009:95, 2009.
13. V. Buterin. Schellingcoin: A minimal-trust universal data feed. https://blog.ethereum.org/2014/03/28/schellingcoin-a-minimal-trust-universal-data-feed/.
14. V. Buterin. Ethereum: A next-generation smart contract and decentralized application platform. https://github.com/ethereum/wiki/wiki/White-Paper, 2014.
15. R. Canetti. Universally composable security: A new paradigm for cryptographic protocols. In FOCS, 2001.
16. R. Canetti, Y. Dodis, R. Pass, and S. Walfish. Universally composable security with global setup. In Theory of Cryptography, pages 61-85. Springer, 2007.
17. R. Canetti and T. Rabin. Universal composition with joint state. In CRYPTO, 2003.
18. V. Costan and S. Devadas. Intel sgx explained. Cryptology ePrint Archive, Report 2016/086, 2016. http://eprint.iacr.org/.
19. K. Croman, C. Decker, I. Eyal, A. E. Gencer, A. Juels, A. Kosba, A. Miller, P. Saxena, E. Shi, E. G. Sirer, D. Song, and R. Wattenhofer. On scaling decentralized blockchains (a position paper). In Bitcoin Workshop, 2016.
20. G. Greenspan. Why many smart contract use cases are simply impossible. http://www.coindesk.com/three-smart-contract-misconceptions/.
21. Intel Corporation. Intel® Software Guard Extensions Programming Reference, 329298-002us edition, 2014.
22. ∗ OS. https://software.intel.com/sites/products/sgx-sdk-users-guide-windows, 2015.
23. Intel Corporation. Intel® Software Guard Extensions SDK. https://software.intel.com/en-us/sgx-sdk, 2015.
24. M. Jakobsson, K. Sako, and R. Impagliazzo. Designated verifier proofs and their applications. In Advances in Cryptology - EUROCRYPT'96, pages 143-154. Springer, 2001.
25. A. Juels, A. Kosba, and E. Shi. The Ring of Gyges: Investigating the future of criminal smart contracts. Online manuscript, 2015.
26. A. Kelkar, J. Bernard, S. Joshi, S. Premkumar, and E. G. Sirer. Virtual Notary. http://virtual-notary.org/, 2016.
27. A. Kosba, A. Miller, E. Shi, Z. Wen, and C. Papamanthou. Hawk: The blockchain model of cryptography and privacy-preserving smart contracts. In IEEE Symposium on Security and Privacy, 2016.
28. F. McKeen, I. Alexandrovich, A. Berenzon, C. V. Rozas, H. Shafi, V. Shanbhogue, and U. R. Savagaonkar. Innovative instructions and software model for isolated execution. In Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, 2013.
29. S. Nakamoto. Bitcoin: A peer-to-peer electronic cash system. 2008.
30. V. Phegade and J. Del Cuvillo. Using innovative instructions to create trustworthy software solutions. In Proceedings of the 2nd International Workshop on Hardware and Architectural Support for Security and Privacy, pages 1-1, New York, New York, USA, 2013. ACM Press.
31. X. Ruan. Platform Embedded Security Technology Revealed: Safeguarding the Future of Computing with Intel Embedded Security and Management Engine. Apress, 2014.
32. F. Schuster, M. Costa, C. Fournet, C. Gkantsidis, M. Peinado, G. Mainar-Ruiz, and M. Russinovich. VC3: Trustworthy data analytics in the cloud. In IEEE S&P, 2015.
33. E. Shi. Trusted hardware: Life, the composable university, and everything. Talk at the DIMACS Workshop on Cryptography and Big Data, 2015.
34. E. Shi, F. Zhang, R. Pass, S. Devadas, D. Song, and C. Liu. Trusted hardware: Life, the composable universe, and everything. Manuscript, 2015.
35. N. Szabo. Smart contracts. http://szabo.best.vwh.net/smart.contracts.html, 1994.
36. K. Torpey. The conceptual godfather of augur thinks the project will fail. CoinGecko, 5 Aug. 2015.
37. G. Wood. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper, 2014.
38. Y. Xu, W. Cui, and M. Peinado. Controlled-channel attacks: Deterministic side channels for untrusted operating systems. In Security and Privacy (SP), 2015 IEEE Symposium on, pages 640-656, May 2015.
39. F. Zhang, E. Cecchetti, K. Croman, A. Juels, and E. Shi. Town crier: An authenticated data feed for smart contracts. Cryptology ePrint Archive, Report 2016/168, 2016. http://eprint.iacr.org/2016/168.