By Professor Ron Van der Meyden

Preprints

Alpturer K; Halpern JY; van der Meyden R, 2023, Optimal Eventual Byzantine Agreement Protocols with Omission Failures, , http://dx.doi.org/10.48550/arxiv.2305.06271

Halpern JY; van der Meyden R; Pucella R, 2017, An Epistemic Foundation for Authentication Logics (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1707.08750

van der Meyden R, 2017, Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1707.08756

van der Meyden R; Patra MK, 2016, Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1606.08815

Woizekowski O; van der Meyden R, 2016, On Reductions from Multi-Domain Noninterference to the Two-Level Case, , http://dx.doi.org/10.48550/arxiv.1605.00474

Huang X; van der Meyden R, 2016, The complexity of approximations for epistemic synthesis (extended abstract), , http://dx.doi.org/10.48550/arxiv.1602.01176

Huang X; van der Meyden R, 2014, An Epistemic Strategy Logic (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1404.0838

Cassez F; van der Meyden R; Zhang C, 2014, The Complexity of Synchronous Notions of Information Flow Security, , http://dx.doi.org/10.48550/arxiv.1402.0601

Eggert S; van der Meyden R; Schnoor H; Wilke T, 2013, Complexity and Unwinding for Intransitive Noninterference, , http://dx.doi.org/10.48550/arxiv.1308.1204

van der Meyden R; Vardi MY, 2013, Synthesis from Knowledge-Based Specifications, , http://dx.doi.org/10.48550/arxiv.1307.6333

Al-Bataineh OI; van der Meyden R, 2010, Abstraction for Epistemic Model Checking of Dining Cryptographers-based Protocols, , http://dx.doi.org/10.48550/arxiv.1010.2287

Al-Bataineh OI; van der Meyden R, 2010, Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast, , http://dx.doi.org/10.48550/arxiv.1004.5130

Halpern JY; van der Meyden R; Vardi MY, 2002, Complete Axiomatizations for Reasoning About Knowledge and Time, , http://dx.doi.org/10.48550/arxiv.cs/0208033

Halpern JY; van der Meyden R, 2002, A logical reconstruction of SPKI, , http://dx.doi.org/10.48550/arxiv.cs/0208028

Halpern JY; van der Meyden R, 2000, A Logic for SDSI's Linked Local Name Spaces, , http://dx.doi.org/10.48550/arxiv.cs/0001026

Lomuscio AR; van der Meyden R; Ryan MD, 1999, Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast, , http://dx.doi.org/10.48550/arxiv.cs/9909019

Back to profile page