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 |
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, T Fabio, 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 | 3 | 2021 |
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 |
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 |