KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
by Everett Hildenbrandt and
Manasvi Saxena and
Nishant Rodrigues and
Xiaoran Zhu and
Philip Daian and
Dwight Guth and
Brandon M. Moore and
Daejun Park and
Yi Zhang and
Andrei Stefanescu and
Grigore Rosu