KEVM: A Complete Semantics of the Ethereum Virtual Machine
| Title | KEVM: A Complete Semantics of the Ethereum Virtual Machine |
| Authors | Hildenbrandt, Everett and Saxena, Manasvi and Zhu, Xiaoran and Rodrigues, Nishant and Daian, Philip and Guth, Dwight and Rosu, Grigore |
| Year | 2017 |
Videos