Luca Olivieri

According to our database, Luca Olivieri authored at least 18 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Software verification challenges in the blockchain ecosystem.

Luca Olivieri, Fausto Spoto

Int. J. Softw. Tools Technol. Transf., August, 2024

Detection of Phantom Reads in Hyperledger Fabric.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

Teaching Through Practice: Advanced Static Analysis with LiSA.

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

European Union Data Act and Blockchain Technology: Challenges and New Directions.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

Fungible and non-fungible tokens with snapshots in Java.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Clust. Comput., October, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Towards Compliance of Smart Contracts with the European Union Data Act.

Luca Olivieri, Luca Pasetto

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Static Privacy Analysis by Flow Reconstruction of Tainted Data.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Int. J. Softw. Eng. Knowl. Eng., 2021

Fast and Accurate Multi-Body Simulation with Stiff Viscoelastic Contacts.

Bilal Hammoud, Luca Olivieri, Ludovic Righetti, Justin Carpentier, Andrea Del Prete

CoRR, 2021

Cybersecurity Impacts of the Covid-19 Pandemic in Italy.

Marco Bozzetti, Luca Olivieri, Fausto Spoto

Proceedings of the Italian Conference on Cybersecurity, 2021

On-Chain Smart Contract Verification over Tendermint.

Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021

2020

BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2018

Tailoring Taint Analysis to GDPR.

Pietro Ferrara, Luca Olivieri, Fausto Spoto

Proceedings of the Privacy Technologies and Policy - 6th Annual Privacy Forum, 2018