All publications

2025

V. Arceri, S.M. Merenda, L. Negrini, L. Olivieri, E. Zaffanella. EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode

Special issue of: Novel Applications of Blockchain for Information Systems and Business Process Management (1 September 2025) · Journal paper · 30 August 2025 · Open access

blockchain smart-contract ethereum static-analysis abstract-interpretation

PDF available

2024

V. Arceri, S.M. Merenda, G. Dolcetti, L. Negrini, L. Olivieri, E. Zaffanella. Towards a Sound Construction of EVM Bytecode Control-flow Graphs

26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024) · Workshop paper · 25 July 2024 · Vienna, Austria

blockchain smart-contract ethereum static-analysis abstract-interpretation

PDF available