Fabio Tagliaferro

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Java Virtual Machine

Functional Verification

Garbage Collection

Top Venues

Financial Cryptography Workshops

Dagstuhl Artifacts Ser.

Publications

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP (2023)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Fungible and non-fungible tokens with snapshots in Java. Clust. Comput. 26 (5) (2023)
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI (2022)
Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine. BCCA (2021)
Luca Olivieri, Fausto Spoto, Fabio Tagliaferro
On-Chain Smart Contract Verification over Tendermint. Financial Cryptography Workshops (2021)