Luca Olivieri

According to our database, Luca Olivieri authored at least 13 papers between 2018 and 2023.

Collaborative distances:

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

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