20 citations · 36 across the 12 of their papers we have counts for
13 papers
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…
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…
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract)
Ron van der Meyden
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating wi…
An Epistemic Foundation for Authentication Logics (Extended Abstract)
Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
While there have been many attempts, going back to BAN logic, to base reasoning about security protocols on epistemic notions, they have not been all that successful. Arguably, thi…
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
R van der Meyden, M K Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…