TY  - RPRT
TI  - Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph
AU  - Elvira Albert
AU  - Jesús Correas
AU  - Pablo Gordillo
AU  - Alejandro Hernández-Cerezo Guillermo Román-Díez
AU  - Albert Rubio
PY  - 2020
UR  - https://arxiv.org/abs/2004.14437
ID  - 2004.14437
ER  -