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

On-Chain Smart Contract Verification over Tendermint. - Luca Olivieri; Fausto Spoto; Fabio Tagliaferro (Financial Cryptography Workshops, 2021)

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. - Luca Olivieri; Fabio Tagliaferro; Vincenzo Arceri; Marco Ruaro; Luca Negrini 001; Agostino Cortesi; Pietro Ferrara 001; Fausto Spoto; Enrico Talin (SOAP@PLDI, 2022)

Information Flow Analysis for Detecting Non-Determinism in Blockchain. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Fabio Tagliaferro; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (ECOOP, 2023)

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Fabio Tagliaferro; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (Dagstuhl Artifacts Ser., 2023)

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

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. - Luca Olivieri; Vincenzo Arceri; Badaruddin Chachar; Luca Negrini 001; Fabio Tagliaferro; Fausto Spoto; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)