| 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 | 12 | 2022 |
| Information flow analysis for detecting non-determinism in blockchain L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, F Spoto Proceedings of the 37th European Conference on Object-Oriented Programming …, 2023 | 7 | 2023 |
| Fungible and non-fungible tokens with snapshots in Java M Crosara, L Olivieri, F Spoto, F Tagliaferro Cluster Computing 26 (5), 2701-2718, 2023 | 4 | 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 | 4 | 2021 |
| On-Chain Smart Contract Verification over Tendermint L Olivieri, F Spoto, F Tagliaferro | 4 | 2021 |
| 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 |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain O Luca, N Luca, V Arceri, T Fabio, F Pietro, C Agostino, S Fausto 37th European Conference on Object-Oriented Programming (ECOOP 2023)-Leibniz …, 2023 | | 2023 |
Luca OlivieriAssistant Professor (no-tenure track), Ca' Foscari University of VeniceVerified email at unive.it
