Spoto, Nicola Fausto
Spoto, Nicola Fausto
Dipartimento di Scienze Ambientali, Informatica e Statistica
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.0 secondi).
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
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 |
---|---|---|---|---|---|
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | 1-gen-2022 | Arceri, VincenzoNegrini, LucaCortesi, AgostinoFerrara, PietroSpoto, 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 | - |