Towards a Sound Construction of EVM Bytecode Control-Flow Graphs / Arceri, V., Merenda, S.M., Dolcetti, G., Negrini, L., Olivieri, L., Zaffanella, E.. - (2024), pp. 11-16. (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.


