research
∙
09/11/2023
Improving Asynchrony Resilience in Dynamically Available Total-Order Broadcast Protocols
Dynamically available total-order broadcast (TOB) protocols are essentia...
share
research
∙
05/03/2023
Time is not a Healer, but it Sure Makes Hindsight 20:20
In the 1980s, three related impossibility results emerged in the field o...
research
∙
03/16/2023
Semitopology: a new topological model of heterogeneous consensus
A distributed system is permissionless when participants can join and le...
research
∙
01/12/2023
Consensus in the Unknown-Participation Message-Adversary Model
We propose a new model that resembles Algorand's mechanism that selects ...
research
∙
11/10/2022
Quorum Systems in Permissionless Network
Fail-prone systems, and their quorum systems, are useful tools for the d...
research
∙
05/19/2019
Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
Verification of fault-tolerant distributed protocols is an immensely dif...
research
∙
10/19/2017