Filippo Contro

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Static Analysis

Information Flow

Top Venues

J. Syst. Softw.

Publications

Michele Pasqua, Andrea Benini, Filippo Contro, Marco Crosara, Mila Dalla Preda, Mariano Ceccato
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. 200 (2023)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. ICPC (2021)
Filippo Contro, Marco Crosara, Mariano Ceccato, Mila Dalla Preda
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. CoRR (2021)