Publications

Distributed Systems and Security Lab

Sisi Duan, Michael K. Reiter, and Haibin Zhang. BEAT: Asynchronous BFT Made Practical. CCS 2018.

Siddhant Goenka, Sisi Duan, and Haibin Zhang. A Formal Treatment of Efficient Byzantine Routing Against Fully Byzantine Adversary. NCA 2018.