Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph | Publicación