# Why This is Interesting * A formal semantics of the EVM * Ethereum yellowpaper is a bit underspecified # Link to Paper(s) * [KEVM: A Complete Semantics of the Ethereum Virtual Machine](https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr.pdf) # Additional Resources (optional) * [Repo](https://github.com/kframework/evm-semantics)
Why This is Interesting
Link to Paper(s)
Additional Resources (optional)