Luca Olivieri

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Top Venues

Financial Cryptography Workshops

Publications

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12 (2024)
Luca Olivieri, Luca Pasetto
Towards Compliance of Smart Contracts with the European Union Data Act. OVERLAY@AI*IA (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP (2023)
Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
MichelsonLiSA: A Static Analyzer for Tezos. PerCom Workshops (2023)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Fungible and non-fungible tokens with snapshots in Java. Clust. Comput. 26 (5) (2023)
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI (2022)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine. BCCA (2021)
Pietro Ferrara, Luca Olivieri, Fausto Spoto
Static Privacy Analysis by Flow Reconstruction of Tainted Data. Int. J. Softw. Eng. Knowl. Eng. 31 (7) (2021)
Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
On-Chain Smart Contract Verification over Tendermint. Financial Cryptography Workshops (2021)
Marco Bozzetti, Luca Olivieri, Fausto Spoto
Cybersecurity Impacts of the Covid-19 Pandemic in Italy. ITASEC (2021)
Bilal Hammoud, Luca Olivieri, Ludovic Righetti, Justin Carpentier, Andrea Del Prete
Fast and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts. CoRR (2021)
Pietro Ferrara, Luca Olivieri, Fausto Spoto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results. VMCAI (2020)
Pietro Ferrara, Luca Olivieri, Fausto Spoto
Tailoring Taint Analysis to GDPR. APF (2018)