111 citations · 150 across the 11 of their papers we have counts for
8 papers · 1 filter
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
Natalie Neamtu, Haobin Ni, Robbert van Renesse
We present two abstractions for designing modular state machine replication (SMR) protocols: trees and turtles. A tree captures the set of possible state machine histories, while a…
Consus: Taming the Paxi
Robert Escriva, Robbert van Renesse
Consus is a strictly serializable geo-replicated transactional key-value store. The key contribution of Consus is a new commit protocol that reduces the cost of executing a transac…
Moving Participants Turtle Consensus
Stavros Nikolaou, Robbert van Renesse
We present Moving Participants Turtle Consensus (MPTC), an asynchronous consensus protocol for crash and Byzantine-tolerant distributed systems. MPTC uses various moving target def…
Safe Serializable Secure Scheduling: Transactions and the Trade-off Between Security and Consistency
Isaac Sheff, Tom Magrino, Jed Liu +2
Modern applications often operate on data in multiple administrative domains. In this federated setting, participants may not fully trust each other. These distributed applications…
Distributed Protocols and Heterogeneous Trust: Technical Report
Isaac C. Sheff, Robbert van Renesse, Andrew C. Myers
The robustness of distributed systems is usually phrased in terms of the number of failures of certain types that they can withstand. However, these failure models are too crude to…
Cache Serializability: Reducing Inconsistency in Edge Transactions
Ittay Eyal, Ken Birman, Robbert van Renesse
Read-only caches are widely used in cloud infrastructures to reduce access latency and load on backend databases. Operators view coherent caches as impractical at genuinely large s…