Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine. - Marco Crosara; Luca Olivieri; Fausto Spoto; Fabio Tagliaferro (BCCA, 2021)

EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode. - Filippo Contro; Marco Crosara; Mariano Ceccato; Mila Dalla Preda (ICPC, 2021)

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. - Michele Pasqua; Andrea Benini; Filippo Contro; Marco Crosara; Mila Dalla Preda; Mariano Ceccato (J. Syst. Softw., 2023)

Fungible and non-fungible tokens with snapshots in Java. - Marco Crosara; Luca Olivieri; Fausto Spoto; Fabio Tagliaferro (Clust. Comput., 2023)