Detecting Token Systems on Ethereum. Fröwis, M.; Fuchs, A.; and Böhme, R. In Goldberg, I. and Moore, T., editors, Financial Cryptography and Data Security, volume 11598, of Lecture Notes in Computer Science, pages 93–112, 2019. Springer.
bibtex   
@inproceedings{FFB2019-FC,
	Author = {Fr{\"o}wis, Michael and Fuchs, Andreas and B{\"o}hme, Rainer},
	Booktitle = {Financial Cryptography and Data Security},
	Date-Added = {2018-12-03 10:28:14 +0000},
	Date-Modified = {2020-01-10 08:27:03 +0000},
	Editor = {Ian Goldberg and Tyler Moore},
	Localfile = {FFB2019_DetectingTokenSystems_Ethereum_SymbolicExecution.pdf},
	Pages = {93--112},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Detecting Token Systems on {E}thereum},
	Volume = {11598},
	Year = {2019}}
Downloads: 0