
[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - 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, GrigoreAnnée:
2018
Langue:
english
DOI:
10.1109/CSF.2018.00022
Fichier:
PDF, 286 KB
english, 2018