research
∙
08/26/2022
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Distributed agreement-based (DAB) systems use common distributed agreeme...
share
research
∙
05/12/2022
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
The ubiquity of distributed agreement protocols, such as consensus, has ...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
04/10/2020
Parameterized Verification of Systems with Global Synchronization and Guards
Inspired by distributed applications that use consensus or other agreeme...
research
∙
04/09/2020