EasyChair Smart SlideDocs/Log in
Author: Brandon Moore

This page shows all presentations of this author published in EasyChair Smart Slide.

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

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

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair