1 citations · 2 across the 6 of their papers we have counts for
6 papers
AetherWeave: Sybil-Resistant Robust Peer Discovery with Stake
Kaya Alpturer, Constantine Doumanidis, Aviv Zohar
Peer-discovery protocols within P2P networks are often vulnerable: because creating network identities is essentially free, adversaries can eclipse honest nodes or partition the ov…
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…
Timing Games in Responsive Consensus Protocols
Kaya Alpturer, Kushal Babel, Aditya Saraf
Optimistic responsiveness -- the ability of a consensus protocol to operate at the speed of the network -- is widely used in consensus protocol design to optimize latency and throu…
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…
Optimal RANDAO Manipulation in Ethereum
Kaya Alpturer, S. Matthew Weinberg
It is well-known that RANDAO manipulation is possible in Ethereum if an adversary controls the proposers assigned to the last slots in an epoch. We provide a methodology to compute…
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…