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 ,
The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976. ,
DOI : 10.1145/320434.320440
BLOCKBENCH: A Framework for Analyzing Private Blockchains, Proceedings of the 2017 ACM International Conference on Management of Data (SIGMOD '17, pp.1085-1100, 2017. ,
Introduction to Cryptocurrencies, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.1700-1701, 2015. ,
DOI : 10.1007/978-3-662-44381-1_24
Fundamentals of Database Systems, 2010. ,
, Ethereum Foundation. 2014. Ethereum's white paper, 2014.
, Ethereum Foundation Solidity Documentation Release 0.4.18, 2017.
UML Distilled: A Brief Guide to the Standard Object Modeling Language, 2003. ,
The Internet Blockchain, Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets '16, pp.204-210, 2016. ,
DOI : 10.1145/279227.279229
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
Selfmanaged and Blockchain-based Vehicular Ad-hoc Networks, 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp '16, pp.137-140, 2016. ,
Prateek Saxena, and Aquinas Hobor Making Smart Contracts Smarter, CCS'2016 (ACM Conference on Computer and Communications Security, 2016. ,
Demystifying Incentives in the Consensus Computer, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.706-719, 2015. ,
DOI : 10.1007/978-3-662-46803-6_10
BitCoin: A peer-to-peer electronic cash system bitcoin.org [15] Object Management Group, Business Process Model And Notation, pp.11-12, 2009. ,
Unified Modelling Language, pp.15-18, 2015. ,
Simplicity: A New Language for Blockchains, Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security (PLAS '17, pp.107-120, 2017. ,
From business process models to process-oriented software systems, 37 pages, 2009. ,
DOI : 10.1145/1555392.1555395
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.
A Taxonomy of Blockchain-Based Systems for Architecture Design, 2017 IEEE International Conference on Software Architecture (ICSA), pp.243-252, 2017. ,
DOI : 10.1109/ICSA.2017.33