M. Bartoletti, S. Lande, L. Pompianu, and A. Bracciali, 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

K. Bhargavan, A. Delignat-lavaud, C. Fournet, A. Gollamudi, G. Gonthier et al., 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

. Bitcoin and . Org, https://bitcoin.org/en/developer-reference#opcodes Bitcoin Project, Bitcoin Developer Reference. Bitcoin Core APIs, 2009.

R. Elmasri and S. Navathe, 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.

A. Juels, A. Kosba, and E. Shi, 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

H. Kalodner, S. Goldfeder, A. Chator, M. Möser, and A. Narayanan, BlockSci: Design and applications of a blockchain analysis platform. ArXiv e-prints, 2017.

L. Luu, D. Chu, and H. Olickel, Prateek Saxena, and Aquinas Hobor Making Smart Contracts Smarter, CCS'2016 (ACM Conference on Computer and Communications Security, 2016.

S. Nakamoto, BitCoin: A peer-to-peer electronic cash system, 2009.

O. Russell and . Connor, Simplicity: A New Language for Blockchains, Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security (PLAS '17, pp.107-120, 2017.

S. Porru, A. Pinna, M. Marchesi, and R. Tonelli, 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

A. Silberschatz, H. Korth, and S. Sudarshan, Database Systems Concepts, 2011.