In Code We Trust? - Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum.

Michael Fröwis Rainer Böhme

Published in: DPM/CBT@ESORICS (2017)

Keyphrases

control flow
data flow
software testing
process model
trust model
supply chain
transition systems
reactive systems
modeling language
information systems
databases
database
intelligent agents
xml documents
database systems
formal semantics
data sets