89 citations · 191 across the 14 of their papers we have counts for
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…