, A General Framework for Blockchain Analytics In 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers (SERIAL '17), 2017.
DOI : 10.1145/3152824.3152831
URL : http://arxiv.org/pdf/1707.01021
, Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. 2016. Formal Verification of Smart Contracts: Short Paper, 2016 ACM Workshop on Programming Languages and Analysis for Security (PLAS '16, pp.91-96
, https://bitcoin.org/en/developer-reference#opcodes Bitcoin Project, Bitcoin Developer Reference. Bitcoin Core APIs, 2009.
, Fundamentals of Database Systems, 2010.
, Ethereum Foundation. 2014. Ethereum's white paper, 2014.
, Ethereum Foundation, JSON RPC, 2018.
, Ethereum Foundation Solidity Documentation Release 0.4.20, 2018.
, The Ring of Gyges, Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS'16, pp.283-295, 2016.
DOI : 10.1007/3-540-49264-X_17
, BlockSci: Design and applications of a blockchain analysis platform. ArXiv e-prints, 2017.
, Prateek Saxena, and Aquinas Hobor Making Smart Contracts Smarter, CCS'2016 (ACM Conference on Computer and Communications Security, 2016.
, BitCoin: A peer-to-peer electronic cash system, 2009.
, Simplicity: A New Language for Blockchains, Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security (PLAS '17, pp.107-120, 2017.
, Blockchain-Oriented Software Engineering: Challenges and New Directions, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp.169-171, 2017.
DOI : 10.1109/ICSE-C.2017.142
, Database Systems Concepts, 2011.