Co-occurring keywords · papers mentioning both
Papers
Lemonshark: Asynchronous DAG-BFT With Early Finality
NSDI 2026
Smart Casual Verification of the Confidential Consortium Framework
NSDI 2025
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
NSDI 2024
EPaxos Revisited
NSDI 2021
Byzantine Ordered Consensus without Byzantine Oligarchy
OSDI 2020
Virtual Consensus in Delos
OSDI 2020
XFT: Practical Fault Tolerance beyond Crashes
OSDI 2016