Publications co-authored by SDF researchers
2025
Nibesh Shrestha (Supra Research), Qianyu Yu (The Hong Kong University of Science and Technology (Guangzhou)), Aniket Kate (Purdue University / Supra Research), Giuliano Losa (Stellar Development Foundation), Kartik Nayak (Duke University), Xuechao Wang (The Hong Kong University of Science and Technology (Guangzhou)), "Optimistic, Signature-Free Reliable Broadcast and Its Applications", CCS 2025. arXiv version.
Jack Doerner (Brown, UVa), Iftach Haitner (TAU, Stellar Foundation), Yuval Ishai (Technion, Amazon/AWS), Nikolaos Makriyannis (Fireblocks), "From OT to OLE with Subquadratic Communication", CCS 2025
Joseph Tafese (University of Waterloo), Siddharth Priya (University of Waterloo), Giuliano Losa (Stellar Development Foundation), Arie Gurfinkel (University of Waterloo), and Graydon Hoare (Stellar Development Foundation), "A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SeaBMC", FMCAD 2025
Dan Boneh (Stanford), Iftach Haitner (Stellar Development Foundation), and Yehuda Lindell (Coinbase). Exponent-VRFs and Their Applications. To appear in Eurocrypt 2025. Preprint
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. To appear in FC 2025. Preprint.
2024
Qianyu Yu, Giuliano Losa, and Xuechao Wang. "TetraBFT: Reducing Latency of Unauthenticated, Responsive BFT Consensus." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 257-267. 2024. https://dl.acm.org/doi/abs/10.1145/3662158.3662783
Francesco D'Amato, Giuliano Losa, and Luca Zanolini. "Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols." In Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing, pp. 247-256. 2024. https://dl.acm.org/doi/abs/10.1145/3662158.3662779
Giuliano Losa and Eli Gafni. "Brief Announcement: Understanding Read-Write Wait-Free Coverings in the Fully-Anonymous Shared-Memory Model." In Proceedings of the 41rd ACM Symposium on Principles of Distributed Computing, pp. 465-468. 2024. https://dl.acm.org/doi/abs/10.1145/3662158.3662786
Murdoch James Gabbay and Giuliano Losa. “Semitopology: Distributed Collaborative Action via Topology, Algebra, and Logic.” January 16, 2024. https://doi.org/10.48550/arXiv.2402.03253.
2023
Eli Gafni and Giuliano Losa. “Brief Announcement: Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority.” In 37th International Symposium on Distributed Computing (DISC 2023). https://doi.org/10.4230/LIPIcs.DISC.2023.41
Eli Gafni and Giuliano Losa. “Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20.” In Stabilization, Safety, and Security of Distributed Systems, 2023 https://doi.org/10.1007/978-3-031-44274-2_6. arXiv version: https://doi.org/10.48550/arXiv.2305.02295
Losa, Giuliano, and Eli Gafni. 2023. “Consensus in the Unknown-Participation Message-Adversary Model.” January 12, 2023. https://doi.org/10.48550/arXiv.2301.04817.
Murdoch Gabbay and Giuliano Losa. “Semitopology: A New Topological Model of Heterogeneous Consensus.” March 29, 2023. https://doi.org/10.48550/arXiv.2303.09287
Murdoch Gabbay and Giuliano Losa. “Semiframes: Algebras of Heterogeneous Consensus.” October 2, 2023. https://doi.org/10.48550/arXiv.2310.00956
2022
Christian Cachin, Giuliano Losa, and Luca Zanolini, “Quorum Systems in Permissionless Networks.” In 26th International Conference on Principles of Distributed Systems (OPODIS 2022) https://doi.org/10.4230/LIPIcs.OPODIS.2022.17.
2019
Lokhava, Marta, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafał Malinowsky, and Jed McCaleb. 2019. “Fast and Secure Global Payments with Stellar.” In Proceedings of the 27th ACM Symposium on Operating Systems Principles, 80–96. SOSP ’19. https://doi.org/10.1145/3341301.3359636.
Losa, Giuliano, Eli Gafni, and David Mazières. 2019. “Stellar Consensus by Instantiation.” In 33rd International Symposium on Distributed Computing (DISC 2019). https://doi.org/10.4230/LIPIcs.DISC.2019.27