Tailoring taint analysis to GDPR P Ferrara, L Olivieri, F Spoto Privacy Technologies and Policy: 6th Annual Privacy Forum, APF 2018 …, 2018 | 23 | 2018 |
: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results P Ferrara, L Olivieri, F Spoto International Conference on Verification, Model Checking, and Abstract …, 2020 | 10 | 2020 |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report L Olivieri, F Tagliaferro, V Arceri, M Ruaro, L Negrini, A Cortesi, P Ferrara, ... Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of …, 2022 | 8 | 2022 |
Cybersecurity Impacts of the Covid-19 Pandemic in Italy MRA Bozzetti, L Olivieri, F Spoto ITASEC21 2940, 145-155, 2021 | 8 | 2021 |
Static Privacy Analysis by Flow Reconstruction of Tainted Data P Ferrara, L Olivieri, F Spoto International Journal of Software Engineering and Knowledge Engineering 31 …, 2021 | 7 | 2021 |
Fungible and non-fungible tokens with snapshots in Java M Crosara, L Olivieri, F Spoto, F Tagliaferro Cluster Computing 26 (5), 2701-2718, 2023 | 3 | 2023 |
Information Flow Analysis for Detecting Non-Determinism in Blockchain L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, NF Spoto Proceedings of the 37th European Conference on Object-Oriented Programming …, 2023 | 3 | 2023 |
On-Chain Smart Contract Verification over Tendermint L Olivieri, F Spoto, F Tagliaferro International Conference on Financial Cryptography and Data Security, 333-347, 2021 | 3 | 2021 |
MichelsonLiSA: a static analyzer for tezos L Olivieri, T Jensen, L Negrini, F Spoto 2023 IEEE International Conference on Pervasive Computing and Communications …, 2023 | 2 | 2023 |
Re-engineering ERC-20 smart contracts with efficient snapshots for the Java virtual machine M Crosara, L Olivieri, F Spoto, F Tagliaferro 2021 Third International Conference on Blockchain Computing and Applications …, 2021 | 2 | 2021 |
Towards Compliance of Smart Contracts with the European Union Data Act L Olivieri, L Pasetto 5th Workshop on Artificial Intelligence and Formal Verification, Logic …, 2024 | | 2024 |
Design and Implementation of Static Analyses for Tezos Smart Contracts L Olivieri, L Negrini, V Arceri, T Jensen, F Spoto Distributed Ledger Technologies: Research and Practice, 2024 | | 2024 |
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, F Spoto Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2023 | | 2023 |
Blockchain Software Verification and Optimization L Olivieri University of Verona, 2023 | | 2023 |