All publications
2025
-
V. Arceri, S.M. Merenda, L. Negrini, L. Olivieri, E. Zaffanella. EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
blockchain smart-contract ethereum static-analysis abstract-interpretation
Special issue of: Novel Applications of Blockchain for Information Systems and Business Process Management (1 September 2025)
Journal paper - 30 August 2025 - Open access
• 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
blockchain smart-contract ethereum static-analysis abstract-interpretation
26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)
Workshop paper - 25 July 2024 - Vienna, Austria
• PDF available
