10 papers
Ambulance: saving BFT through racing
Neil Giridharan, Shubham Mishra, Lorenzo Alvisi +5
Today's practical Byzantine Fault Tolerant (BFT) state machine replication deployments are vulnerable to slowdowns. The main culprit is timeouts. Aggressive timeouts spuriously tri…
Real Life Is Uncertain. Consensus Should Be Too!
Reginald Frank, Soujanya Ponnapalli, Octavio Lomeli +3
Modern distributed systems rely on consensus protocols to build a fault-tolerant-core upon which they can build applications. Consensus protocols are correct under a specific failu…
It's not a lie if you don't get caught: simplifying reconfiguration in SMR through dirty logs
Allen Clement, Natacha Crooks, Neil Giridharan +1
Production state-machine replication (SMR) implementations are complex, multi-layered architectures comprising data dissemination, ordering, execution, and reconfiguration componen…
Proteus: Append-Only Ledgers for (Mostly) Trusted Execution Environments
Shubham Mishra, João Gonçalves, Chawinphat Tankuranand +4
Distributed ledgers are increasingly relied upon by industry to provide trustworthy accountability, strong integrity protection, and high availability for critical data without cen…
Delta Fair Sharing: Performance Isolation for Multi-Tenant Storage Systems
Tyler Griggs, Soujanya Ponnapalli, Dev Bali +8
Modern storage systems, often deployed to support multiple tenants in the cloud, must provide performance isolation. Unfortunately, traditional approaches such as fair sharing do n…
Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs [Technical Report]
David Chu, Aditya Balasubramanian, Dee Bao +4
Today, users can "lift-and-shift" unmodified applications into modern, VM-based Trusted Execution Environments (TEEs) in order to gain hardware-based security guarantees. However,…