Towards a Sound Construction of EVM Bytecode Control-Flow Graphs / Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea. - (2024), pp. 11-16. (Intervento presentato al convegno 26th ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)) [10.1145/3678721.3686227].
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
Arceri, Vincenzo
;Merenda, Saverio Mattia;Dolcetti, Greta;Zaffanella, Enea
2024-01-01
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.