Publications co-authored by SDF researchers
2026
Ali Farahbakhsh, Giuliano Losa, Youer Pu, Lorenzo Alvisi, and Ittay Eyal. "Fast Deterministically Safe Proof-of-Work Consensus". arXiv preprint (2026).
Niv Buchbinder, Iftach Haitner, Nissan Levi, and Eliad Tsfadia. "Fair Coin Flipping: Tighter Analysis and the Many-Party Case". Journal of Cryptology 39(1):4 (2026).
2025
Eli Gafni, Giuliano Losa, Michel Raynal, and Gadi Taubenfeld. "Solving Tasks with Fewer Registers Than Processes". In 29th International Conference on Principles of Distributed Systems (OPODIS 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
Giuliano 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.
Eli Gafni, Giuliano Losa, Michel Raynal, and Gadi Taubenfeld. "Brief Announcement: Stranger-Free Tasks". In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC 2025).
Iftach Haitner and Gil Segev. "Tighter Concrete Security for the Simplest OT". IACR Communications in Cryptology 2(1):11 (2025).
Iftach Haitner, Noam Mazor, Jad Silbak, Eliad Tsfadia, and Chao Yan. "Mildly Accurate Computationally Differentially Private Inner Product Protocols Imply Oblivious Transfer". arXiv preprint (2025).
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.
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.
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.
Murdoch James Gabbay and Giuliano Losa. “Semitopology: Distributed Collaborative Action via Topology, Algebra, and Logic”. January 16, 2024.
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).
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. arXiv version.
Losa, Giuliano, and Eli Gafni. 2023. “Consensus in the Unknown-Participation Message-Adversary Model”. January 12, 2023.
Murdoch Gabbay and Giuliano Losa. “Semitopology: A New Topological Model of Heterogeneous Consensus”. March 29, 2023.
Murdoch Gabbay and Giuliano Losa. “Semiframes: Algebras of Heterogeneous Consensus”. October 2, 2023.
2022
Christian Cachin, Giuliano Losa, and Luca Zanolini, “Quorum Systems in Permissionless Networks”. In 26th International Conference on Principles of Distributed Systems (OPODIS 2022).
2020
Iftach Haitner and Yonatan Karidi-Heller. "A Tight Lower Bound on Adaptively Secure Full-Information Coin Flip". In 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS).
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.
Losa, Giuliano, Eli Gafni, and David Mazières. 2019. “Stellar Consensus by Instantiation”. In 33rd International Symposium on Distributed Computing (DISC 2019).