author-photo

Manasvi Saxena

University of Illinois at Urbana–Champaign

6

Papers

365

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Formal semantics of hybrid automata

2020
Show All
- Source
- Cite
- Save
Citations (0)
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

2018 CSF | IEEE Computer Security Foundations Symposium
Show All
- Source
- Cite
- Save
Citations (194)
A formal verification tool for Ethereum VM bytecode

2018 FSE | Foundations of Software Engineering
Show All
- Source
- Cite
- Save
Citations (53)
KEVM: A Complete Semantics of the Ethereum Virtual Machine

2017 IEEE Computer Security Foundations Symposium
Show All
- Source
- Cite
- Save
Citations (105)
RV-Match: Practical Semantics-Based Program Analysis

2016 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (10)
Runtime Verification at Work: A Tutorial

2016 RV | Runtime Verification
Show All
- Source
- Cite
- Save
Citations (3)