Concepedia

Author

Everett Hildenbrandt

University of Illinois Urbana-Champaign

Also Known As

Everett Hildenbrandt

2

Publications

500

Citations

2

H-Index

17

Concepts

All Affiliations

University of Illinois Urbana-Champaign
EH

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

404

2

Computer Engineering

1

1

404

3

Computer Science

1

1

404

4

Computer Architecture

1

1

404

5

Data Security

1

1

404

Everett Hildenbrandt

×

2

Publications

500

Citations

2

H-Index

YearCitations

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues,

2018

404

KEVM: A Complete Semantics of the Ethereum Virtual Machine

Everett Hildenbrandt, Manasvi Saxena, Xiaoran Zhu,

IDEALS (University of Illinois Urbana-Champaign)

2017

96

Page 1