OLIVIERI, Luca
OLIVIERI, Luca
Dipartimento di Scienze Ambientali, Informatica e Statistica
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Cybersecurity impacts of the Covid-19 pandemic in Italy
2021-01-01 Bozzetti, M. R. A.; Olivieri, L.; Spoto, F.
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Detection of Phantom Reads in Hyperledger Fabric
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 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-01-01 Olivieri, L.; Pasetto, L.; Negrini, L.; Ferrara, P.
Fungible and non-fungible tokens with snapshots in Java
2022-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
2024-01-01 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-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
MichelsonLiSA: A Static Analyzer for Tezos
2023-01-01 Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto
On-Chain Smart Contract Verification over Tendermint
2021-01-01 Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine
2021-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Software verification challenges in the blockchain ecosystem
2024-01-01 Olivieri, Luca; Spoto, Fausto
Static Privacy Analysis by Flow Reconstruction of Tainted Data
2021-01-01 Ferrara, P.; Olivieri, L.; Spoto, F.
Tailoring Taint Analysis to GDPR
2018-01-01 Ferrara, Pietro; Luca, Olivieri; Fausto, Spoto
Teaching Through Practice: Advanced Static Analysis with LiSA
2024-01-01 Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024-01-01 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Towards Compliance of Smart Contracts with the European Union Data Act
2023-01-01 Olivieri, L.; Pasetto, L.