Francesco P. Rossi

According to our database, Francesco P. Rossi authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP.

Andrea Esposito, Francesco P. Rossi, Marco Bernardo, Francesco Fabris, Hubert Garavel

CoRR, August, 2025

Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios.

Federico Calandra, Francesco P. Rossi, Francesco Fabris, Marco Bernardo

Proceedings of the 2025 IEEE International Conference on Blockchain and Cryptocurrency, 2025

2024

Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study.

Federico Calandra, Francesco P. Rossi, Francesco Fabris, Marco Bernardo

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024