KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Journal
-
- 2018 IEEE 31st Computer Security Foundations Symposium (CSF)
-
2018 IEEE 31st Computer Security Foundations Symposium (CSF) 2018-07
IEEE