Asynchronous consensus and broadcast protocols
From MaRDI portal
Recommendations
- Asynchronous byzantine agreement protocols
- Impossibility of distributed consensus with one faulty process
- On Optimal Probabilistic Asynchronous Byzantine Agreement
- Necessary and sufficient conditions for broadcast consensus protocols.
- A simple and fast asynchronous consensus protocol based on a weak failure detector
Cited in
(72)- Asynchronous byzantine agreement protocols
- Consensus under unreliable transmission
- Necessary and sufficient conditions for broadcast consensus protocols.
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Consensus in Byzantine asynchronous systems
- Byzantine-resistant total ordering algorithms.
- Diffusion without false rumors: On propagating updates in a Byzantine environment.
- Low complexity Byzantine-resilient consensus
- Lower bounds for asynchronous consensus
- Byzantine-tolerant causal broadcast
- Consensus using omega in asynchronous systems with unknown membership and degenerative Byzantine failures
- Higher-order quantifier elimination, counter simulations and fault-tolerant systems
- Always have a backup plan: fully secure synchronous MPC with asynchronous fallback
- Order-fairness for Byzantine consensus
- The consensus number of a cryptocurrency
- Synthesizing optimal bias in randomized self-stabilization
- Byzantine disk paxos: optimal resilience with Byzantine shared memory
- Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^2)\) messages, and constant time
- A discrete-event simulation model for the Bitcoin blockchain network with strategic miners and mining pool managers
- MPC with synchronous security and asynchronous responsiveness
- From binary consensus to multivalued consensus in asynchronous message-passing systems
- Accuracy of message counting abstraction in fault-tolerant distributed algorithms
- Asynchronous Fault-Tolerant Total Ordering Algorithms
- What you always wanted to know about model checking of fault-tolerant distributed algorithms
- Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^{2})\) messages, and constant time
- Impossibility of distributed consensus with one faulty process
- On the minimal synchronism needed for distributed consensus
- On the performance of a retransmission-based synchronizer
- Consensus in the presence of mortal Byzantine faulty processes
- scientific article; zbMATH DE number 1848309 (Why is no real title available?)
- Open consensus
- Asynchronous Networks
- On the versatility of Bracha's Byzantine reliable broadcast algorithm
- You only live multiple times: a blackbox solution for reusing crash-stop algorithms in realistic crash-recovery settings
- Torus orientation
- Hundreds of impossibility results for distributed computing
- Randomized protocols for asynchronous consensus
- Tutorial on parameterized model checking of fault-tolerant distributed algorithms
- On Optimal Probabilistic Asynchronous Byzantine Agreement
- Towards a Theory of Consistency Primitives
- Automata, Languages and Programming
- Expressive Power of Broadcast Consensus Protocols
- Extracting Symbolic Transitions from TLA$$^{+}$$+ Specifications
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- AbU: a calculus for distributed event-driven programming with attribute-based interaction
- Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
- Asynchronous Byzantine reliable broadcast with a message adversary
- Total ordering algorithms for asynchronous Byzantine systems
- On the power of an honest majority in three-party computation without broadcast
- Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
- Consensus on demand
- Divide \& Scale: formalization and roadmap to robust sharding
- Distributed CONGEST Algorithms against Mobile Adversaries
- Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn
- From partial to global asynchronous reliable broadcast
- Brief announcement: Multi-threshold asynchronous reliable broadcast and consensus
- Symbolic model checking for TLA+ made faster
- Concurrent asynchronous Byzantine agreement in expected-constant rounds, revisited
- Detecting causality in the presence of Byzantine processes: the case of synchronous systems
- Dynamic Byzantine reliable broadcast
- Optimal resilience in systems that mix shared memory and message passing
- Parameterized complexity of safety of threshold automata
- Swiper: a new paradigm for efficient weighted distributed protocols
- BBCA-\textsc{Chain}: low latency, high throughput BFT consensus on a DAG
- Byzantine agreement with optimal resilience via statistical fraud detection
- Is it even possible? On the parallel composition of asynchronous MPC protocols
- Satrapy: from abstract to practical consensus for heterogeneous quorum systems
- On the completeness of bounded model checking for threshold-based distributed algorithms: reachability
- Byzantine-tolerant privacy-preserving atomic register
- Correctness and fairness of committee-based blockchains: a case study of Tendermint's repeated consensus
- On the nonexistence of resilient consensus protocols
- Invited talk: Resilient distributed algorithms
This page was built for publication: Asynchronous consensus and broadcast protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3765232)
