Compositional Verification of Composite Byzantine Protocols. - Qiyuan Zhao; George Pîrlea; Karolina Grzeszkiewicz; Seth Gilbert; Ilya Sergey (CCS, 2024)

Bythos: Compositional Verification of Composite Byzantine Protocols. - Qiyuan Zhao; George Pîrlea; Karolina Grzeszkiewicz; Seth Gilbert; Ilya Sergey (Zenodo, 2024)