Old Web
English
Sign In
Acemap
>
authorDetail
>
Nishant Rodrigues
Nishant Rodrigues
University of Illinois at Urbana–Champaign
Computer science
Virtual machine
Program analysis
Bytecode
Theoretical computer science
2
Papers
299
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
2018
CSF | IEEE Computer Security Foundations Symposium
Everett Hildenbrandt
Manasvi Saxena
Nishant Rodrigues
Xiaoran Zhu
Philip Daian
Dwight Guth
Brandon M. Moore
Daejun Park
Yi Zhang
Andrei Stefănescu
Grigore Rosu
Show All
Source
Cite
Save
Citations (194)
KEVM: A Complete Semantics of the Ethereum Virtual Machine
2017
IEEE Computer Security Foundations Symposium
Everett Hildenbrandt
Manasvi Saxena
Xiaoran Zhu
Nishant Rodrigues
Philip Daian
Dwight Guth
Grigore Rosu
Show All
Source
Cite
Save
Citations (105)
1