KEVM : A Complete Semantics of the Ethereum Virtual Machine

  title={KEVM : A Complete Semantics of the Ethereum Virtual Machine},
  author={Everett Hildenbrandt and Manasvi Saxena and Xiaoran Zhu and Nishant Rodrigues and Philip Daian and Dwight Guth},
A developing field of interest for the distributed systems and applied cryptography community is that of smart contracts: self-executing financial instruments that synchronize their state, often through a blockchain. One such smart contract system that has seen widespread practical adoption is Ethereum, which has grown to secure approximately 30 billion USD of currency value and in excess of 300,000 daily transactions. Unfortunately, the rise of these technologies has been marred by a repeated… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS


Publications citing this paper.

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 46 references

Bitcoin: A peer-to-peer electronic cash system, 2008.

  • Satoshi Nakamoto
  • 2008
Highly Influential
5 Excerpts

Ethereum’s blockchain accidentally splits. 2016. ethereums-blockchain-accidentally-splits

  • Andrew Quenston
  • 2016
Highly Influential
3 Excerpts

An in-depth look at the parity multisig bug

  • Lorenz Breidenbach, Phil Daian, Ari Juels, Emin Gün Sirer
  • 2017
1 Excerpt

Bigger than bitcoin? Enterprise Ethereum Alliance grows in size

  • Neil Ainger
  • http://www.cnbc
  • 2017
1 Excerpt

Ether.camps hkg token has a bug and needs to be reissued

  • Jim Manning
  • Cryptology ePrint Archive , Report
  • 2017
2 Excerpts

Similar Papers

Loading similar papers…