23 citations · 49 across the 25 of their papers we have counts for
4 papers · 1 filter
Granular Synchrony
Neil Giridharan, Ittai Abraham, Natacha Crooks +2
Today's mainstream network timing models for distributed computing are synchrony, partial synchrony, and asynchrony. These models are coarse-grained and often make either too stron…
Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus A. Kuppe, Edward Ashton +2
The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger…
Optimizing Distributed Protocols with Query Rewrites [Technical Report]
David Chu, Rithvik Panchapakesan, Shadaj Laddad +6
Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud, but standard implementations do not scale. New scalable distributed protocols are develope…
Autobahn: Seamless high speed BFT
Neil Giridharan, Florian Suri-Payer, Ittai Abraham +2
Today's practical, high performance Byzantine Fault Tolerant (BFT) consensus protocols operate in the partial synchrony model. However, existing protocols are inefficient when depl…