News
Workshop on Formal Reasoning in Distributed Algorithms
August 13th, 2024
Slides of the presentations are now available on the workshop's website.
3 papers accepted at the PODC 2024 conference!
April 22nd, 2024
- L. Zanolini, F. D’Amato, G. Losa. Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols (arXiv version)
- Q. Yu, G. Losa, X. Wang. TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus (arXiv version)
- G. Losa and E. Gafni. Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model (arXiv version)