EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. - Filippo Contro; Marco Crosara; Mariano Ceccato; Mila Dalla Preda (ICPC, 2021)

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. - Michele Pasqua; Andrea Benini; Filippo Contro; Marco Crosara; Mila Dalla Preda; Mariano Ceccato (J. Syst. Softw., 2023)