research
∙
01/25/2023
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA^+
The main aim of this report is to provide an introductory tutorial on th...
share
research
∙
02/14/2022
Liveness and Latency of Byzantine State-Machine Replication
Byzantine state-machine replication (SMR) ensures the consistency of rep...
research
∙
06/01/2021
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Modern online services rely on data stores that replicate their data acr...
research
∙
08/10/2020
Making Byzantine Consensus Live (Extended Version)
Partially synchronous Byzantine consensus protocols typically structure ...
research
∙
07/24/2020
Towards Improving the Performance of BFT Consensus For Future Permissioned Blockchains
Permissioned Blockchains are increasingly considered in enterprise use-c...
research
∙
06/04/2019
Reconfigurable Atomic Transaction Commit (Extended Version)
Modern data stores achieve scalability by partitioning data into shards ...
research
∙
10/03/2018