Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park 0001, Yi Zhang, Andrei Stefanescu, Grigore Rosu. KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. In 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. pages 204-217, IEEE Computer Society, 2018. [doi]
@inproceedings{HildenbrandtSRZ18,
title = {KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine},
author = {Everett Hildenbrandt and Manasvi Saxena and Nishant Rodrigues and Xiaoran Zhu and Philip Daian and Dwight Guth and Brandon M. Moore and Daejun Park 0001 and Yi Zhang and Andrei Stefanescu and Grigore Rosu},
year = {2018},
doi = {10.1109/CSF.2018.00022},
url = {http://doi.ieeecomputersociety.org/10.1109/CSF.2018.00022},
researchr = {https://researchr.org/publication/HildenbrandtSRZ18},
cites = {0},
citedby = {0},
pages = {204-217},
booktitle = {31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-6680-7},
}