evm

⧉infominer 12-Aug-19 12:57 AM
https://www.ideals.illinois.edu/bitstream/handle/2142/97207/hildenbrandt-saxena-zhu-rodrigues-guth-daian-rosu-2017-tr.pdf KEVM: A Complete Semantics of the Ethereum Virtual Machine (2017), E. Hildenbrandt et al. [pdf]