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

2024
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].
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 8
  • ???jsp.display-item.citation.isi??? 3
social impact