For a full list, see my profile on DBLP or on Google Scholar.

Recent work

• Angelfish: Leader, DAG, or Anywhere in Between
  With Qianyu Yu, Nibesh Shrestha, and Xuechao Wang; to appear at CCS 2026.
• Simple-IT: Practical Low-Latency Signature-Free BFT Consensus
  With Qianyu Yu, Juan Villacis, Zhuolun Xiang, and Xuechao Wang; preprint on arXiv.
• Monotone Erasure Codes
  With Vivien Bammert, Annalisa Cimatti, Orestis Alpos, and Christian Cachin; preprint on arXiv.
• Show Me The Money: An Exercise in Proof-Driven Software Understanding
  With J. Tafese, K. Nukala, H. Saidi, N. Shankar, A. Gurfinkel, G. Losa; CAV 2026 in the Industrial Experience Reports & Case Studies category.
• Fast Deterministically Safe Proof-of-Work Consensus
  With Ali Farahbakhsh (Cornell University), Giuliano Losa (Stellar Foundation), Youer Pu (Cornell University), and Lorenzo Alvisi (Cornell University); IEEE Symposium on Security and Privacy (S&P 2026).
• Optimistic, Signature-Free Reliable Broadcast and Its Applications
  With Nibesh Shrestha, Qianyu Yu, Aniket Kate, Giuliano Losa, Kartik Nayak, Xuechao Wang; CCS 2025. Note there is a mistake in the RBC algorithm of the published version; this is fixed in the arXiv version (v4 onwards).

Some of my all-time favorites

• Time is not a Healer, but it Sure Makes Hindsight 20:20
  With Eli Gafni; published at SSS 2023.
• Byzantine Consensus Under Dynamic Participation with a Well-Behaved Majority
  With Eli Gafni; brief announcement published at DISC 2023. TLA+ and Isabelle/HOL specifications and proofs.
• Paxos Made EPR: Decidable Reasoning about Distributed Protocols
  With Oded Padon, Mooly Sagiv, and Sharon Shoham; published at OOPSLA 2018.
• Fast and Secure Global Payments with Stellar
  With Marta Lokhava, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafał Malinowsky, and Jed McCaleb; published at SOSP 2019.