11 citations · 12 across the 5 of their papers we have counts for
4 papers · 1 filter
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
Distributed agreement-based (DAB) systems use common distributed agreement protocols such as leader election and consensus as building blocks for their target functionality. While…
Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems
Christopher Wagner, Nouraldin Jaber, Roopsha Samanta
The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The comp…
HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik +17
Cryptographic techniques have the potential to enable distrusting parties to collaborate in fundamentally new ways, but their practical implementation poses numerous challenges. An…
QuickSilver: A Modeling and Parameterized Verification Framework for Systems with Distributed Agreement (Extended Version)
Nouraldin Jaber, Christopher Wagner, Swen Jacobs +2
The last decade has sparked several valiant efforts in deductive verification of distributed agreement protocols such as consensus and leader election. Oddly, there have been far f…