By Professor Ron Van der Meyden

Preprints

Alpturer K; Huang G; van der Meyden R, 2025, Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols, http://dx.doi.org/10.48550/arxiv.2505.02353

Alpturer K; Halpern JY; van der Meyden R, 2024, A Knowledge-Based Analysis of Intersection Protocols, http://dx.doi.org/10.48550/arxiv.2408.09499

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

van der Meyden R, 2020, A Formal Treatment of Contract Signature, http://dx.doi.org/10.48550/arxiv.2002.09827

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

Chong S; van der Meyden R, 2014, Using Architecture to Reason about Information Security, http://dx.doi.org/10.48550/arxiv.1409.0309

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

Patra MK; van der Meyden R, 2011, Consistent assignment of quantum probabilities, http://dx.doi.org/10.48550/arxiv.1109.1763

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