X
Xiaoran Zhu
Researcher at East China Normal University
Publications - 2
Citations - 424
Xiaoran Zhu is an academic researcher from East China Normal University. The author has contributed to research in topics: Formal semantics (linguistics) & Semantics (computer science). The author has an hindex of 2, co-authored 2 publications receiving 328 citations.
Papers
More filters
Proceedings ArticleDOI
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,Grigore Rosu +10 more
TL;DR: KEVM is presented, an executable formal specification of the EVM's bytecode stack-based language built with the K Framework, designed to serve as a solid foundation for further formal analyses and to demonstrate the usability of the semantics.
KEVM: A Complete Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt,Manasvi Saxena,Xiaoran Zhu,Nishant Rodrigues,Philip Daian,Dwight Guth,Grigore Rosu +6 more
TL;DR: KEVM is presented, the first fully executable formal semantics of the EVM, the bytecode language in which smart contracts are executed, in a framework for executable semantics, the K framework, and it is shown that the approach is feasible and not computationally restrictive.