@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"
}