KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Hildenbrandt, Everett, Saxena, Manasvi, Rodrigues, Nishant, Zhu, Xiaoran, Daian, Philip, Guth, Dwight, Moore, Brandon, Park, Daejun, Zhang, Yi, Stefanescu, Andrei, Rosu, Grigore
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Published in 2018 IEEE 31st Computer Security Foundations Symposium (CSF) (01.07.2018)
Get full text
Conference Proceeding