1 paper · 1 filter
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…