Coinresear.ch
Papers [1351] Stats Tags

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









Links

  • Formally Verified Smart Contracts

Coinresear.ch

  • Coinresear.ch
  • feedback@coinresear.ch

Theory and practice of cryptocurrencies