Research
Publications
For a full list, see my profile on DBLP or on Google Scholar.
Recent Publications
- Ali Farahbakhsh (Cornell University), Giuliano Losa (Stellar Foundation), Youer Pu (Cornell University), and Lorenzo Alvisi (Cornell University). “Fast Deterministically Safe Proof-of-Work Consensus” (Preprint). Paper to appear at IEEE Symposium on Security and Privacy (S&P 2026).
- Eli Gafni, Giuliano Losa, Michel Raynal, Gadi Taubenfeld. “Solving Tasks with Fewer Registers than Processes”. Paper to appear at OPODIS 2050.
- Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang. “Optimistic, Signature-Free Reliable Broadcast and Its Applications”, CCS 2025. arXiv version.
- Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel and Graydon Hoare, “A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SeaBMC”, FMCAD 2025.
- Giulian Losa (Stellar Development Foundation), Yifan Mao (Ohio State University), Shaileshh Bojja Venkatakrishnan (Ohio State University), and Yunqi Zhang (Ohio State University). Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems. FC 2025. Preprint.
- Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model, PODC 2024 (arXiv version)
- Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols, PODC 2024
- TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus, PODC 2024, and accompanying TLA+ specification.
- Time is not a Healer, but it Sure Makes Hindsight 20:20, SSS 2023
- Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority, DISC 2023 (related arXiv paper and TLA+ and Isabelle/HOL specifications and proofs)
Workshops
I sometimes (co-)organize workshops:
- On July 23rd, 2024, I co-organizing the Workshop on Formal Reasoning in Distributed Algorithms (FRIDA) together with Swen Jacobs.
- In October 2023, Christian Cachin and myself organized the Workshop on Heterogeneous Trust in Distributed Systems as part of AFT 2023. The recordings are available on Youtube.
- Together with Swen Jacobs, I organized the 2021 Workshop on Formal Reasoning in Distributed Algorithms. Video recordings are available on Youtube: Monday’s session and Friday’s session.
- In 2020, Marijana Lazić and myself organized the 2020 Workshop on Formal Reasoning in Distributed Algorithms (FRIDA). You can find the videos of the talks on the QONFEST YouTube channel (search for FRIDA in video titles).
Recent service activities
- Member of the program committee of the 2024 TLA+ Community Event
- Reviewer for DISC 2024
- Member of the program committee of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)