KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine.

Everett Hildenbrandt Manasvi Saxena Nishant Rodrigues Xiaoran Zhu Philip Daian Dwight Guth Brandon M. Moore Daejun Park Yi Zhang Andrei Stefanescu Grigore Rosu

Published in: CSF (2018)

Keyphrases