6 citations · 16 across the 8 of their papers we have counts for
10 papers
Fast TetraBFT: Optimizing Latency Where It Matters
Antonio J. Fernández-Pinto, Manuel Bravo, Gregory Chockler +1
Unauthenticated Byzantine consensus protocols achieve optimal failure resilience while relying only on authenticated point-to-point channels, not authenticated messages. They are a…
Vertical Atomic Broadcast and Passive Replication (Extended Version)
Manuel Bravo, Gregory Chockler, Alexey Gotsman +2
Atomic broadcast is a reliable communication abstraction ensuring that all processes deliver the same set of messages in a common global order. It is a fundamental building block f…
Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA
Paolo Dini, Manuel Bravo, Philipp Paulweber +2
The main aim of this report is to provide an introductory tutorial on the Abstract State Machines (ASM) specification method for software engineering to an audience already familia…
Liveness and Latency of Byzantine State-Machine Replication (Extended Version)
Manuel Bravo, Gregory Chockler, Alexey Gotsman
Byzantine state-machine replication (SMR) ensures the consistency of replicated state in the presence of malicious replicas and lies at the heart of the modern blockchain technolog…
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Manuel Bravo, Alexey Gotsman, Borja de Régil +1
Modern online services rely on data stores that replicate their data across geographically distributed data centers. Providing strong consistency in such data stores results in hig…
Making Byzantine Consensus Live (Extended Version)
Manuel Bravo, Gregory Chockler, Alexey Gotsman
Partially synchronous Byzantine consensus protocols typically structure their execution into a sequence of views, each with a designated leader process. The key to guaranteeing liv…
Towards Improving the Performance of BFT Consensus For Future Permissioned Blockchains
Manuel Bravo, Zsolt István, Man-Kit Sit
Permissioned Blockchains are increasingly considered in enterprise use-cases, many of which do not require geo-distribution, or even disallow it due to legislation. Examples includ…
Reconfigurable Atomic Transaction Commit (Extended Version)
Manuel Bravo, Alexey Gotsman
Modern data stores achieve scalability by partitioning data into shards and fault-tolerance by replicating each shard across several servers. A key component of such systems is a T…
Distributed transactional reads: the strong, the quick, the fresh \& the impossible
Alejandro Z. Tomsic, Manuel Bravo, Marc Shapiro
This paper studies the costs and trade-offs of providing transactional consistent reads in a distributed storage system. We identify the following dimensions: read consistency, rea…
Unobtrusive Deferred Update Stabilization for Efficient Geo-Replication
Chathuri Gunawardhana, Manuel Bravo, Luís Rodrigues
In this paper we propose a novel approach to manage the throughput vs latency tradeoff that emerges when managing updates in geo-replicated systems. Our approach consists in allowi…