Fabio Tagliaferro

Orcid: 0000-0002-5904-8768

According to our database1, Fabio Tagliaferro authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access, 2024

2023
Fungible and non-fungible tokens with snapshots in Java.
Clust. Comput., October, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).
Dagstuhl Artifacts Ser., 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
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.
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.
Proceedings of the Third International Conference on Blockchain Computing and Applications, 2021


  Loading...