All publications
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