Concepedia

Manasvi Saxena

MS

Statistics

Publications

3

Citations

614

H-Index

3

Active since

2017

Affiliations

University of Illinois Urbana-Champaign(Current)

Runtime Verification (United States)

Manasvi Saxena is an author at University of Illinois Urbana-Champaign specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2017–2018

3

Publications

3

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations

, , +13

A formal verification tool for Ethereum VM bytecode

Daejun Park, Yi Zhang, Manasvi Saxena et al. · 2018 · 108 citations · Full text

, , +13

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu et al. · IDEALS (University of Illinois Urbana-Champaign) · 2017 · 96 citations · Full text

, , +9

1–3 of 3