Tailoring Taint Analysis to GDPR. - Pietro Ferrara 001; Luca Olivieri; Fausto Spoto (APF, 2018)

BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. - Pietro Ferrara 001; Luca Olivieri; Fausto Spoto (VMCAI, 2020)

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)

Cybersecurity Impacts of the Covid-19 Pandemic in Italy. - Marco Bozzetti; Luca Olivieri; Fausto Spoto (ITASEC, 2021)

Fast and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts. - Bilal Hammoud; Luca Olivieri; Ludovic Righetti; Justin Carpentier; Andrea Del Prete (CoRR, 2021)

Static Privacy Analysis by Flow Reconstruction of Tainted Data. - Pietro Ferrara 001; Luca Olivieri; Fausto Spoto (Int. J. Softw. Eng. Knowl. Eng., 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)

Towards Compliance of Smart Contracts with the European Union Data Act. - Luca Olivieri; Luca Pasetto (OVERLAY@AI*IA, 2023)

MichelsonLiSA: A Static Analyzer for Tezos. - Luca Olivieri; Thomas P. Jensen; Luca Negrini 001; Fausto Spoto (PerCom Workshops, 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)

Blockchain Interoperability through Bridges: A Token Transfer Perspective. - Luca Olivieri; Aradhita Mukherjee; Nabendu Chaki; Agostino Cortesi (BCCA, 2024)

European Union Data Act and Blockchain Technology: Challenges and New Directions. - Luca Olivieri; Luca Pasetto; Luca Negrini 001; Pietro Ferrara 001 (DLT, 2024)

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. - Vincenzo Arceri; Saverio Mattia Merenda; Greta Dolcetti; Luca Negrini 001; Luca Olivieri; Enea Zaffanella (FTfJP@ECOOP, 2024)

Teaching Through Practice: Advanced Static Analysis with LiSA. - Luca Negrini 001; Vincenzo Arceri; Luca Olivieri; Agostino Cortesi; Pietro Ferrara 001 (FMTea, 2024)

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)

Detection of Phantom Reads in Hyperledger Fabric. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Badaruddin Chachar; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)

Software verification challenges in the blockchain ecosystem. - Luca Olivieri; Fausto Spoto (Int. J. Softw. Tools Technol. Transf., 2024)

Challenges of software verification. - Vincenzo Arceri; Luca Negrini 001; Luca Olivieri; Pietro Ferrara 001 (Int. J. Softw. Tools Technol. Transf., 2024)

Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges. - Luca Olivieri; Aradhita Mukherjee; Nabendu Chaki; Agostino Cortesi (ITASEC/SERICS, 2025)

Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Pietro Ferrara 001; Agostino Cortesi (SAC, 2025)

Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (SAC, 2025)

Design and Implementation of Static Analyses for Tezos Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Thomas P. Jensen; Fausto Spoto (Distributed Ledger Technol. Res. Pract., 2025)