conftrace_

distributed protocol

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

safety property (3) formal verification (3) inductive invariant (2) cryptographic primitive (1) scalable query (1) invariant inference (1) state machine (1) protocol correctness (1) provenance invariant (1) automated verification (1)

Papers

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Runtime Protocol Refinement Checking for Distributed Protocol Implementations NSDI 2025 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Electrode: Accelerating Distributed Protocols with eBPF NSDI 2023 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022 Streaming and Distributed Algorithms for Robust Column Subset Selection ICML 2021 Orchard: Differentially Private Analytics at Scale OSDI 2020