2 papers
cs.CR2018
Detecting Token Systems on Ethereum
Michael Fröwis, Andreas Fuchs, Rainer Böhme
We propose and compare two approaches to identify smart contracts as token systems by analyzing their public bytecode. The first approach symbolically executes the code in order to…
cs.CR2009
Final Architecture Specification of security, privacy, and incentive mechanisms
Nicolai Kuntze, Juergen Repp, Hervais Simo Fhom +2
In this document, we define the NADA security architecture based on refined use case scenarios, a derived high level model and security analysis. For the architecure design and ver…