OLIVIERI, Luca
OLIVIERI, Luca
Dipartimento di Scienze Ambientali, Informatica e Statistica
An application layer with protocol-based java smart contract verification
2025 Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
An Overview of Termination in the Ethereum Blockchain
2026 Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
2020 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Blockchain Interoperability through Bridges: A Token Transfer Perspective
2024 Olivieri, Luca; Mukherjee, Aradhita; Chaki, Nabendu; Cortesi, Agostino
Challenges of software verification
2024 Arceri, Vincenzo; Negrini, Luca; Olivieri, Luca; Ferrara, Pietro
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric
2025 Olivieri, Luca; Beste, David; Negrini, Luca; Schonherr, Lea; Cina', Antonio Emanuele; Ferrara, Pietro
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges
2025 Olivieri, Luca; Mukherjee, Aradhita; Chaki, Nabendu; Cortesi, Agostino
Cybersecurity impacts of the Covid-19 pandemic in Italy
2021 Bozzetti, M. R. A.; Olivieri, L.; Spoto, F.
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric
2025 Olivieri, Luca
Detection of Phantom Reads in Hyperledger Fabric
2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
2025 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software
2025 Olivieri, Luca; Negrini, Luca
Double-Spending Attacks in Cross-Blockchain Ecosystems
2025 Mukherjee, Aradhita; Olivieri, Luca; Chaki, Nabendu; Cortesi, Agostino
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
European Union Data Act and Blockchain Technology: Challenges and New Directions
2024 Olivieri, L.; Pasetto, L.; Negrini, L.; Ferrara, P.
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
2025 Arceri, Vincenzo; Merenda, Saverio Mattia; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Fungible and non-fungible tokens with snapshots in Java
2022 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
2024 Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
Information Flow Analysis for Detecting Non-Determinism in Blockchain
2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto