20 September 2024

The conference paper “Towards a Sound Construction of EVM Bytecode Control-Flow Graphs”, by Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella, has just been published! Available here.