Spoto, Nicola Fausto

Spoto, Nicola Fausto  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
Cybersecurity impacts of the Covid-19 pandemic in Italy 1-gen-2021 Olivieri L.Spoto F. + 4.1 Articolo in Atti di convegno -
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, LucaArceri, VincenzoNegrini, LucaCortesi, AgostinoFerrara, PietroSpoto, Fausto + 4.1 Articolo in Atti di convegno -
Fungible and non-fungible tokens with snapshots in Java 1-gen-2022 Olivieri, LucaSpoto, Fausto + 2.1 Articolo su rivista -
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 -
On-Chain Smart Contract Verification over Tendermint 1-gen-2021 Olivieri, LucaSpoto, Fausto + 4.1 Articolo in Atti di convegno -
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 1-gen-2021 Olivieri, 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 -