%0 Conference Paper %1 conf/csfw/HildenbrandtSRZ18 %A Hildenbrandt, Everett %A Saxena, Manasvi %A Rodrigues, Nishant %A Zhu, Xiaoran %A Daian, Philip %A Guth, Dwight %A Moore, Brandon M. %A Park, Daejun %A Zhang, Yi %A Stefanescu, Andrei %A Rosu, Grigore %B CSF %D 2018 %I IEEE Computer Society %K dblp %P 204-217 %T KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. %U http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#HildenbrandtSRZ18 %@ 978-1-5386-6680-7

@inproceedings{conf/csfw/HildenbrandtSRZ18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Hildenbrandt, Everett and Saxena, Manasvi and Rodrigues, Nishant and Zhu, Xiaoran and Daian, Philip and Guth, Dwight and Moore, Brandon M. and Park, Daejun and Zhang, Yi and Stefanescu, Andrei and Rosu, Grigore}, biburl = {https://www.bibsonomy.org/bibtex/2f241365a006322b6418c376f4221ed3f/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2018}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2018.00022}, interhash = {227745776fe261ca955799136e11538f}, intrahash = {f241365a006322b6418c376f4221ed3f}, isbn = {978-1-5386-6680-7}, keywords = {dblp}, pages = {204-217}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:12.000+0200}, title = {KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csfw2018.html#HildenbrandtSRZ18}, year = 2018 }