TAGLIAFERRO, FABIO

TAGLIAFERRO, FABIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report 1-gen-2022 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Fungible and non-fungible tokens with snapshots in Java 1-gen-2023 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Information Flow Analysis for Detecting Non-Determinism in Blockchain 1-gen-2023 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
On-Chain Smart Contract Verification over Tendermint 1-gen-2021 Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine 1-gen-2021 Crosara, Marco; Olivieri, Luca; Spoto, Nicola Fausto; Tagliaferro, Fabio