1 citations · 2 across the 6 of their papers we have counts for
5 papers · 1 filter
Beyond Leaderless: Randomized Consensus Against Mobile Crashes
Ittai Abraham, Kaya Alpturer, Pranav Garimidi +3
Many consensus protocols fail to terminate under attack from an adversary that has the power to move between replicas and repeatedly crash one of them, even in synchrony. We presen…
Optimality of Simultaneous Consensus with Limited Information Exchange (Extended Abstract)
Kaya Alpturer, Ron van der Meyden, Sushmita Ruj +1
Work on the development of optimal fault-tolerant Agreement protocols using the logic of knowledge has concentrated on the "full information" approach to information exchange, whic…
Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
Kaya Alpturer, Gerald Huang, Ron van der Meyden
Logics of knowledge and knowledge-based programs provide a way to give abstract descriptions of solutions to problems in fault-tolerant distributed computing, and have been used to…
A Knowledge-Based Analysis of Intersection Protocols
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
The increasing wireless communication capabilities of vehicles creates opportunities for more efficient intersection management strategies. One promising approach is the replacemen…
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
Work on \emph{optimal} protocols for \emph{Eventual Byzantine Agreement} (EBA) -- protocols that, in a precise sense, decide as soon as possible in every run and guarantee that all…