Luca Olivieri

32 papers A 3B 1C 1Misc 2Journal 10Unranked 15
YearRankTypeTitle / Venue / Authors
2026 — conf
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).
TACAS (2)
Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara
2026 — conf
The Double Spending Dilemma: From Traditional Cash Systems to Interoperable Blockchain Systems.
ITASEC/SERICS
Aradhita Mukherjee, Luca Olivieri, Nabendu Chaki, Agostino Cortesi
2025 — conf
An Overview of Termination in the Ethereum Blockchain.
BlockTEA
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2025 J jnl
An application layer with protocol-based java smart contract verification.
Frontiers Comput. Sci.
Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2025 A conf
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric.
ISSRE
Luca Olivieri, David Beste, Luca Negrini, Lea Schönherr, Antonio Emanuele Cinà, Pietro Ferrara
2025 — conf
Cross-chain Smart Contracts and dApps Verification by Static Analysis: Limits and Challenges.
ITASEC/SERICS
Luca Olivieri, Aradhita Mukherjee, Nabendu Chaki, Agostino Cortesi
2025 J jnl
Design and Implementation of Static Analyses for Tezos Smart Contracts.
Distributed Ledger Technol. Res. Pract.
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto
2025 A conf
Detection of Cross-Channel Invocation Risks in Hyperledger Fabric.
ISSRE
Luca Olivieri
2025 Misc conf
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2025 — conf
Don't Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software.
BRAINS
Luca Olivieri, Luca Negrini
2025 Misc conf
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2024 — conf
Blockchain Interoperability through Bridges: A Token Transfer Perspective.
BCCA
Luca Olivieri, Aradhita Mukherjee, Nabendu Chaki, Agostino Cortesi
2024 J jnl
Challenges of software verification.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara
2024 J jnl
Detection of Phantom Reads in Hyperledger Fabric.
IEEE Access
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
2024 C conf
European Union Data Act and Blockchain Technology: Challenges and New Directions.
DLT
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2024 J jnl
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access
Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024 J jnl
Software verification challenges in the blockchain ecosystem.
Int. J. Softw. Tools Technol. Transf.
Luca Olivieri, Fausto Spoto
2024 — conf
Teaching Through Practice: Advanced Static Analysis with LiSA.
FMTea
Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
2024 — conf
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.
FTfJP@ECOOP
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
2023 J jnl
Fungible and non-fungible tokens with snapshots in Java.
Clust. Comput.
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2023 J jnl
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).
Dagstuhl Artifacts Ser.
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 A conf
Information Flow Analysis for Detecting Non-Determinism in Blockchain.
ECOOP
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 — conf
MichelsonLiSA: A Static Analyzer for Tezos.
PerCom Workshops
Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
2023 — conf
Towards Compliance of Smart Contracts with the European Union Data Act.
OVERLAY@AI*IA
Luca Olivieri, Luca Pasetto
2022 — conf
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
SOAP@PLDI
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2021 — conf
Cybersecurity Impacts of the Covid-19 Pandemic in Italy.
ITASEC
Marco Bozzetti, Luca Olivieri, Fausto Spoto
2021 J jnl
Fast and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts.
CoRR
Bilal Hammoud, Luca Olivieri, Ludovic Righetti, Justin Carpentier, Andrea Del Prete
2021 — conf
On-Chain Smart Contract Verification over Tendermint.
Financial Cryptography Workshops
Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2021 — conf
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.
BCCA
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
2021 J jnl
Static Privacy Analysis by Flow Reconstruction of Tainted Data.
Int. J. Softw. Eng. Knowl. Eng.
Pietro Ferrara, Luca Olivieri, Fausto Spoto
2020 B conf
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results.
VMCAI
Pietro Ferrara, Luca Olivieri, Fausto Spoto
2018 — conf
Tailoring Taint Analysis to GDPR.
APF
Pietro Ferrara, Luca Olivieri, Fausto Spoto