Introduces an epistemic framework for causality in Byzantine multi-agent systems and identifies the multipede communication structure needed to verify action preconditions under faults.
ACM Transac- tions on Programming Languages and Systems 4(3), pp
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
Characterizes tight consistency-robustness trade-offs and linear smoothness of resilience degradation for Byzantine Agreement using a faulty-node predictor in authenticated and non-authenticated settings.
Flutter achieves 2Δ + ε good-case latency for Byzantine Total Order Broadcast via a new binary consensus called Blink, under partial synchrony with 5f+1 servers.
citing papers explorer
-
Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems
Introduces an epistemic framework for causality in Byzantine multi-agent systems and identifies the multipede communication structure needed to verify action preconditions under faults.
-
Resilient Byzantine Agreement with Predictions
Characterizes tight consistency-robustness trade-offs and linear smoothness of resilience degradation for Byzantine Agreement using a faulty-node predictor in authenticated and non-authenticated settings.
-
Fast Byzantine Total Order Broadcast
Flutter achieves 2Δ + ε good-case latency for Byzantine Total Order Broadcast via a new binary consensus called Blink, under partial synchrony with 5f+1 servers.