OLIVIERI, LUCA
OLIVIERI, LUCA
DIPARTIMENTO DI INFORMATICA
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto
Blockchain Software Verification and Optimization
2023-01-01 Olivieri, Luca
Cybersecurity Impacts of the Covid-19 Pandemic in Italy
2021-01-01 Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto
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
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
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, Nicola 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, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
Tailoring Taint Analysis to GDPR
2018-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results | 1-gen-2020 | Ferrara, Pietro; Olivieri, Luca; Spoto, Fausto | |
| Blockchain Software Verification and Optimization | 1-gen-2023 | Olivieri, Luca | |
| Cybersecurity Impacts of the Covid-19 Pandemic in Italy | 1-gen-2021 | Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto | |
| Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | 1-gen-2022 | Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico | |
| Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain | 1-gen-2023 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto | |
| MichelsonLiSA: A Static Analyzer for Tezos | 1-gen-2023 | Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto | |
| On-Chain Smart Contract Verification over Tendermint | 1-gen-2021 | Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine | 1-gen-2021 | Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio | |
| Software Verification Challenges in the Blockchain Ecosystem | 1-gen-2024 | Olivieri, Luca; Spoto, Fausto | |
| Static Privacy Analysis by Flow Reconstruction of Tainted Data | 1-gen-2021 | Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto | |
| Tailoring Taint Analysis to GDPR | 1-gen-2018 | Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto |