@inproceedings{hildenbrandt-saxena-zhu-rodrigues-daian-guth-moore-zhang-park-rosu-2018-csf, author = "Hildenbrandt, Everett and Saxena, Manasvi and Zhu, Xiaoran and Rodrigues, Nishant and Daian, Philip and Guth, Dwight and Moore, Brandon and Zhang, Yi and Park, Daejun and \c{S}tef\u{a}nescu, Andrei and Ro\c{s}u, Grigore", publisher = "IEEE", booktitle = "2018 IEEE 31st Computer Security Foundations Symposium", year = "2018", pages = "204-217", title = "KEVM: A Complete Semantics of the Ethereum Virtual Machine" }