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

2024
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].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/3002116
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact