Everett Hildenbrandt

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

First Order Logic

Modelling Language

Virtual Machine

Top Venues

Publications

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