%0 Conference Paper %1 conf/ccs/SchneidewindGSM20 %A Schneidewind, Clara %A Grishchenko, Ilya %A Scherer, Markus %A Maffei, Matteo %B CCS %D 2020 %E Ligatti, Jay %E Ou, Xinming %E Katz, Jonathan %E Vigna, Giovanni %I ACM %K dblp %P 621-640 %T eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2020.html#SchneidewindGSM20 %@ 978-1-4503-7089-9

@inproceedings{conf/ccs/SchneidewindGSM20, added-at = {2024-05-07T00:00:00.000+0200}, author = {Schneidewind, Clara and Grishchenko, Ilya and Scherer, Markus and Maffei, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2f3976ec6cd9d5ee3b702f81dd0d70788/dblp}, booktitle = {CCS}, crossref = {conf/ccs/2020}, editor = {Ligatti, Jay and Ou, Xinming and Katz, Jonathan and Vigna, Giovanni}, ee = {https://doi.org/10.1145/3372297.3417250}, interhash = {fc6a1f8ac53eb1bdc3225f653bd8c062}, intrahash = {f3976ec6cd9d5ee3b702f81dd0d70788}, isbn = {978-1-4503-7089-9}, keywords = {dblp}, pages = {621-640}, publisher = {ACM}, timestamp = {2024-05-13T08:31:53.000+0200}, title = {eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2020.html#SchneidewindGSM20}, year = 2020 }