Everett Hildenbrandt

Publications

500

Citations

H-Index

2017

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Everett Hildenbrandt is an author at University of Illinois Urbana-Champaign specializing in system software, formal specification, and data security.

Top concepts

BlockchainEngineeringCryptographyVerificationData SecurityFormal MethodsCloud ComputingSystem SoftwareComputer ScienceProgram Analysis

Publications per year

2017–2018

Publications

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

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

Engineering, Ethereum Community, Verification +26

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

Rows per page

1–2 of 2