Ethereum Query Language
暂无分享,去创建一个
Stéphane Ducasse | Marcus Denker | Henrique Rocha | Santiago Bragagnolo | Stéphane Ducasse | M. Denker | Henrique Rocha | Santiago Bragagnolo
[1] Andrea Pinna,et al. Blockchain-Oriented Software Engineering: Challenges and New Directions , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
[2] Prateek Saxena,et al. Making Smart Contracts Smarter , 2016, IACR Cryptol. ePrint Arch..
[3] Satoshi Nakamoto. Bitcoin : A Peer-to-Peer Electronic Cash System , 2009 .
[4] Elaine Shi,et al. The Ring of Gyges: Investigating the Future of Criminal Smart Contracts , 2016, CCS.
[5] Nikhil Swamy,et al. Formal Verification of Smart Contracts: Short Paper , 2016, PLAS@CCS.
[6] Arvind Narayanan,et al. BlockSci: Design and applications of a blockchain analysis platform , 2017, USENIX Security Symposium.
[7] Russell O'Connor,et al. Simplicity: A New Language for Blockchains , 2017, PLAS@CCS.
[8] Massimo Bartoletti,et al. A general framework for blockchain analytics , 2017, SERIAL@Middleware.
[9] Abraham Silberschatz,et al. Database Systems Concepts , 1997 .