Reaching Agreement in the Presence of Faults

DOI10.1145/322186.322188zbMATH Open0434.68031DBLPjournals/jacm/PeaseSL80OpenAlexW2126924915WikidataQ55966961 ScholiaQ55966961MaRDI QIDQ3873545FDOQ3873545

Discrete mathematics in relation to computer science (68R99) Theory of software (68N99) Communication, information (94A99) Theory of operating systems (68N25) Theory of computing (68Q99)

Cited In (only showing first 100 items - show all)

Byzantine-resistant total ordering algorithms.
Higher-order quantifier elimination, counter simulations and fault-tolerant systems
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
Fast timing-based algorithms
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Low-cost clock synchronization
Distributed deterministic edge coloring using bounded neighborhood independence
A simple voting protocol on quantum blockchain
On the Versatility of Bracha’s Byzantine Reliable Broadcast Algorithm
Reaching approximate Byzantine consensus with multi-hop communication
Information-theoretic broadcast with dishonest majority for long messages
From bounded to unbounded concurrency objects and back
A simple Byzantine generals protocol
Characterization of secure multiparty computation without broadcast
Consensus under unreliable transmission
Yet another compiler for active security or: efficient MPC over arbitrary rings
A characterization of oblivious message adversaries for which consensus is solvable
Fault tolerance in large games
Fast agreement in networks with Byzantine nodes
Round-preserving parallel composition of probabilistic-termination cryptographic protocols
Fast consensus in networks of bounded degree.
Necessary and sufficient conditions for broadcast consensus protocols.
A Characterization of Dynamic Networks Where Consensus Is Solvable
Optimal time byzantine agreement for t <n/8 with linear-messages
On Optimal Probabilistic Asynchronous Byzantine Agreement
Characterization of Secure Multiparty Computation Without Broadcast
Title not available (Why is that?)
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
Conflict on a communication channel
Near-optimal self-stabilising counting and firing squads
Recent Results on Fault-Tolerant Consensus in Message-Passing Networks
Reaching agreement in the presence of contention-related crash failures
Probabilistic Termination and Composability of Cryptographic Protocols
A modular approach to shared-memory consensus, with applications to the probabilistic-write model
Communication-efficient and crash-quiescent omega with unknown membership
Lower bounds for weak Byzantine agreement
Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures
Communication-efficient randomized consensus
Asynchronous Byzantine reliable broadcast with a message adversary
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Algorand: a secure and efficient distributed ledger
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions
Efficient fully secure computation via distributed zero-knowledge proofs
Fairness versus guaranteed output delivery in secure multiparty computation
Total ordering algorithms for asynchronous Byzantine systems
A resilient distributed optimization strategy against false data injection attacks
Machine checked proofs of the design of a fault-tolerant circuit
Contention-related crash failures: definitions, agreement algorithms, and impossibility results
Tight Bounds for Asynchronous Renaming
Reaching Approximate Byzantine Consensus with Multi-hop Communication
The epigenetic consensus problem
Analysis of the Blockchain Protocol in Asynchronous Networks
Synchronous consensus with optimal asynchronous fallback guarantees
Resilience of mutual exclusion algorithms to transient memory faults
Stopping times of distributed consensus protocols: a probabilistic analysis
Invited talk: Resilient distributed algorithms
Adaptively secure broadcast, revisited
Efficient Counting with Optimal Resilience
Secure Message Transmission by Public Discussion: A Brief Survey
The Contest between Simplicity and Efficiency in Asynchronous Byzantine Agreement
Distributed computing in asynchronous networks with byzantine edges
The Firing Squad Problem Revisited.
Stability of long-lived consensus.
Fork sequential consistency is blocking
A distributed computing perspective of unconditionally secure information transmission in Russian cards problems
Managed agreement: generalizing two fundamental distributed agreement problems
Optimal asynchronous agreement and leader election algorithm for complete networks with Byzantine faulty links
Message-optimal protocols for Byzantine Agreement
Modular construction of an efficient 1-bit Byzantine agreement protocol
Continuous consensus with ambiguous failures
Strongly terminating early-stopping \(k\)-set agreement in synchronous systems with general omission failures
Combination of clock-state and clock-rate correction in fault-tolerant distributed systems
A simple and communication-efficient omega algorithm in the crash-recovery model
Refined quorum systems
A theorem prover for a computational logic
On specifications and proofs of timed circuits
On the message complexity of binary Byzantine agreement under crash failures
Byzantine gathering in networks
Randomized \(k\)-set agreement in crash-prone and Byzantine asynchronous systems
On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
Computational aspects of uncertainty profiles and angel-daemon games
Rapid almost-complete broadcasting in faulty networks
The perfectly synchronized round-based model of distributed computing
Optimal resilient threshold GQ signatures
Renaming in synchronous message passing systems with Byzantine failures
Extracting complexes that ensure sufficient structural conditions for system mutual informational agreement in multicomplex systems
Structuring unreliable radio networks
On expected constant-round protocols for Byzantine agreement
Synchronous counting and computational algorithm design
Tight bound on mobile Byzantine agreement
The Failure Discovery problem
Almost-everywhere secure computation with edge corruptions
On the complexity of asynchronous agreement against powerful adversaries
Asynchronous byzantine agreement protocols
A computer scientist looks at game theory.
Modular construction of a Byzantine agreement protocol with optimal message bit complexity
Two distributed problems involving Byzantine processes
Reliable communication over partially authenticated networks
Efficient agreement using fault diagnosis.

This page was built for publication: Reaching Agreement in the Presence of Faults

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3873545)