Compositional Verification of Composite Byzantine Protocols.

Qiyuan Zhao, George Prlea, Karolina Grzeszkiewicz, Seth Gilbert, Ilya Sergey

Browse the full CCS paper archive.