Olivieri, Luca
Olivieri, Luca
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.0 secondi).
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
Static Privacy Analysis by Flow Reconstruction of Tainted Data
2021-01-01 Ferrara, P.; Olivieri, L.; Spoto, F.
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Information Flow Analysis for Detecting Non-Determinism in Blockchain | 1-gen-2023 | Luca OlivieriLuca NegriniVincenzo ArceriPietro FerraraAgostino CortesiFausto Spoto + | 4.1 Articolo in Atti di convegno | - | |
MichelsonLiSA: A Static Analyzer for Tezos | 1-gen-2023 | Olivieri, LucaNegrini, LucaSpoto, Fausto + | 4.1 Articolo in Atti di convegno | - | |
Static Privacy Analysis by Flow Reconstruction of Tainted Data | 1-gen-2021 | Ferrara P.Olivieri L.Spoto F. | 2.1 Articolo su rivista | - |