Fabio Tagliaferro

According to our database, Fabio Tagliaferro authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Fungible and non-fungible tokens with snapshots in Java.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Clust. Comput., October, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

On-Chain Smart Contract Verification over Tendermint.

Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine.

Marco Crosara, Luca Olivieri, Fausto Spoto, Fabio Tagliaferro

Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021