Statistics
Publications
12
Citations
1.1K
H-Index
12
Active since
2014
Daejun Park is an author at University of Illinois Urbana-Champaign specializing in computing, computer science, and formal methods.
Publications per year
2014–2019
12
12
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations
A formal verification tool for Ethereum VM bytecode
Daejun Park, Yi Zhang, Manasvi Saxena et al. · 2018 · 108 citations · Full text
KJS: a complete formal semantics of JavaScript
Daejun Park, Andrei Ștefănescu, Grigore Roşu · 2015 · 102 citations
Security Authentication System Using Encrypted Channel on UAV Network
Kwanwoong Yoon, Daejun Park, Yujin Yim et al. · 2017 · 87 citations
1–5 of 12