Select Publications

Book Chapters

van der Meyden R, 2011, 'Two Applications of Epistemic Logic in Computer Security', in VanBenthem J; Gupta A; Parikh R (ed.), PROOF, COMPUTATION AND AGENCY: LOGIC AT THE CROSSROADS, edn. Synthese Library, SPRINGER, pp. 133 - 144, http://dx.doi.org/10.1007/978-94-007-0080-2_9

Van Der Meyden R, 2007, 'Two applications of epistemic logic in computer science', in Gupta A (ed.), Logic at the crossroads, edn. 1, Allied publishers, New Delhi, pp. 207 - 221

Journal articles

Huang X; Van Der Meyden R, 2018, 'An epistemic strategy logic', ACM Transactions on Computational Logic, vol. 19, http://dx.doi.org/10.1145/3233769

Eggert S; van der Meyden R, 2017, 'Dynamic intransitive noninterference revisited', Formal Aspects of Computing, vol. 29, pp. 1087 - 1120, http://dx.doi.org/10.1007/s00165-017-0430-6

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, vol. 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, vol. 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011

Chong S; Van Der Meyden R, 2015, 'Using architecture to reason about information security', ACM Transactions on Information and System Security, vol. 18, http://dx.doi.org/10.1145/2829949

Van Der Meyden R, 2015, 'What, indeed, is intransitive noninterference?1', Journal of Computer Security, vol. 23, pp. 197 - 228, http://dx.doi.org/10.3233/JCS-140516

Van Der Meyden R; Zhang C, 2013, 'Information Flow in Systems with Schedulers (Part I:Definitions)', Theoretical Computer Science, vol. 467, pp. 68 - 88, http://dx.doi.org/10.1016/j.tcs.2012.10.047

Van Der Meyden R; Zhang C, 2013, 'Information flow in systems with schedulers, Part II: Refinement', Theoretical Computer Science, vol. 484, pp. 70 - 92, http://dx.doi.org/10.1016/j.tcs.2013.01.002

Patra M; Van Der Meyden R, 2012, 'Consistent assignment of quantum probabilities', Journal of Physics A: Mathematical and Theoretical, vol. 45, pp. 1751 - 8113, http://dx.doi.org/10.1088/1751-8113/45/7/075304

Van Der Meyden R, 2012, 'Architectural Refinement and Notions of Intransitive Noninterference', Formal Aspects of Computing, vol. 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2

van der Meyden R; Zhang C, 2010, 'A comparison of semantic models for noninterference', THEORETICAL COMPUTER SCIENCE, vol. 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013

Van Der Meyden R, 2009, 'Architectural Refinement and Notions of Intransitive Noninterference', Engineering Secure Software and Systems, vol. 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2

Van Der Meyden R; Zhang C, 2007, 'Algorithmic Verification of Noninterference Properties', Electronic Notes in Theoretical Computer Science, vol. 168, pp. 61 - 75, http://dx.doi.org/10.1016/j.entcs.2006.11.002

Van Der Meyden R; Zhang C, 2007, 'A comparison of semantic models for noninterference', 4th international workshop on Formal aspects in security and trust, vol. 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013

van Ditmarsch HP; van der Hoek HW; Van Der Meyden R; Ruan J, 2006, 'Model Checking Russian Cards', Electronic Notes in Theoretical Computer Science, vol. 149, pp. 105 - 123, http://dx.doi.org/10.1016/j.entcs.2005.07.029

Halpern JY; Van Der Meyden R; Vardi M, 2004, 'Complete Axiomatizations for Logics of Knowledge and Time', Siam Journal on Computing, vol. 33, pp. 674 - 703, http://dx.doi.org/10.1137/S0097539797320906

Halpern JY; Van der Meyden R, 2003, 'A logical reconstruction of SPKI', Journal of Computer Security, vol. 11, pp. 581 - 613, http://dx.doi.org/10.3233/JCS-2003-11405

Van Der Meyden R; Wong K, 2003, 'Complete Axiomatizations for Reasoning about Knowledge and Branching Time', Studia Logica, vol. 75, pp. 93 - 123

Van Der Meyden R; Halpern JY, 2001, 'A logic for SDSI`s Linked Local Name Spaces', Journal of Computer Security, vol. 9, pp. 105 - 142, http://dx.doi.org/10.3233/JCS-2001-91-205

Barr T; Chicharo J; Van Der Meyden R; Sammut C; Seberry J; Tobias J; Wysocki T, 2001, 'CRC for smart internet technology - An overview', Telecommunications Journal of Australia, vol. 51, pp. 19 - 23

Chan EPF; Van Der Meyden R, 2000, 'Containment and optimization of object-preserving conjunctive queries', SIAM Journal on Computing, vol. 29, pp. 1371 - 1400, http://dx.doi.org/10.1137/S0097539794262446

Lomusciou AR; Van Der Meyden R; Ryan R, 2000, 'Knowledge In Multi-agent Systems: Initial Configurations and Broadcast', ACM Transactions on Computational Logic, vol. 1, pp. 247 - 284

Van Der Meyden R; Reeve J, 2000, 'Predicate Boundedness of Linear Monadic Datalog is in PSPACE', International Journal of Foundations of Computer Science, vol. 11, pp. 591 - 612

Van Der Meyden R, 1998, 'Common Knowledge and Update in Finite Environments', Information and Computation, vol. 140, pp. 115 - 157, http://dx.doi.org/10.1006/inco.1997.2679

Van Der Meyden R, 1997, 'The Complexity of Querying Indefinite Data about Linearly Ordered Domains', Journal of Computer and System Sciences, vol. 54, pp. 113 - 135, http://dx.doi.org/10.1006/jcss.1997.1455

Van Der Meyden R, 1996, 'The dynamic logic of permission', Journal of Logic and Computation, vol. 6, pp. 465 - 479

Imielinski T; Van Der Meyden R; Vadaparty KV, 1995, 'Complexity tailored design: A new design methodology for databases with incomplete information', Journal of Computer and System Sciences, vol. 51, pp. 405 - 432, http://dx.doi.org/10.1006/jcss.1995.1079

van der Meyden R, 1993, 'Recursively indefinite databases', Theoretical Computer Science, vol. 116, pp. 151 - 194, http://dx.doi.org/10.1016/0304-3975(93)90223-G

Conference Papers

Halpern JY; van der Meyden R; Pucella R, 2017, 'An Epistemic Foundation for Authentication Logics', in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, OPEN PUBL ASSOC, pp. 306 - 323, http://dx.doi.org/10.4204/EPTCS.251.21

Van Der Meyden R, 2017, 'Optimizing epistemic model checking using conditional independence (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, pp. 398 - 414, http://dx.doi.org/10.4204/EPTCS.251.29

Van Der Meyden R; Patra MK, 2016, 'Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, pp. 264 - 282, http://dx.doi.org/10.4204/EPTCS.215.19

Huang X; Van Der Meyden R, 2016, 'The complexity of approximations for epistemic synthesis (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, pp. 120 - 137, http://dx.doi.org/10.4204/EPTCS.202.9

Woizekowski O; Van Der Meyden R, 2016, 'On reductions from multi-domain noninterference to the two-level case', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 520 - 537, http://dx.doi.org/10.1007/978-3-319-45744-4_26

Huang X; van der Meyden R, 2014, 'A temporal logic of strategic knowledge', in Proceedings 14th International Conference on Principles of Knowledge Representation and Reasoning, AAAI Publicatons, Vienna, Austria, pp. 418 - 427, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014

Huang X; van der Meyden R, 2014, 'An Epistemic Strategy Logic', in Proceedings 2nd International Workshop on Strategic Reasoning, EPTCS, Grenoble, France, pp. 35 - 41, presented at 2nd International Workshop on Strategic Reasoning, Grenoble, France, 05 April 2014 - 06 April 2014, http://dx.doi.org/10.4204/EPTCS.146.5

Huang X; Van Der Meyden R, 2014, 'Symbolic model checking epistemic strategy logic', in Proceedings of the National Conference on Artificial Intelligence, pp. 1426 - 1432

Huang X; Van Der Meyden R, 2014, 'Symbolic synthesis for epistemic specifications with observational semantics', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 455 - 469, http://dx.doi.org/10.1007/978-3-642-54862-8_39

Huang X; Van Der Meyden R, 2013, 'Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics', in Burkhard C. Schipper (ed.), TARK2013 - Theoretical Aspects of Rationality and Knowledge, Proceedings of the 14th Conference, Conf on Theoretical Aspects of Knowledge and Rationality, Chennai, India, pp. 121 - 130, presented at Conf on Theoretical Aspects of Knowledge and Rationality, Chennai, 07 January 2013 - 09 January 2013, http://arxiv.org/abs/1310.6423

Engelhardt K; Van Der Meyden R; Zhang C, 2012, 'Intransitive noninterference in nondeterministic systems', in ACM Conference on Computer and Communications Security, ACM, Raleigh, NC, USA, pp. 869 - 880, presented at 19th ACM Conference on Computer and Communications Security, Raleigh, NC, USA, 16 October 2012 - 18 October 2012, http://dx.doi.org/10.1145/2382196.2382288

Huang X; Van Der Meyden R, 2012, 'Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: an application to Pursuit-Evasion Games', in Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, WAshington, USA, pp. 772 - 778, presented at Twenty-Seventh Conference on Artificial Intelligence (AAAI-13), Bellevue, WAshington, USA, 14 July 2013 - 18 July 2013

Al Bateineh O; Van Der Meyden R, 2011, 'Abstraction for Epistemic Model Checking of Dining-Cryptographers based Protocols', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 247 - 256, presented at 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, Gronigen, Netherlands, 12 July 2011 - 14 July 2011, http://dx.doi.org/10.1145/2000378.2000408

Eggert S; Van Der Meyden R; Schnoor H; Wilke T, 2011, 'The complexity of Intransitive Noninterference', in Proceedings - 2011 IEEE Symposium on Security and Privacy, SP 2011, Institute of Electrical and Electronics Engineers Inc., New York, NY, United States, pp. 196 - 211, presented at 2011 IEEE Symposium on Security and Privacy, SP 2011, Berkeley, CA, USA, 22 May 2011 - 25 May 2011, http://dx.doi.org/10.1109/SP.2011.30

Huang X; Luo C; Van Der Meyden R, 2011, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 95 - 111, http://dx.doi.org/10.1007/978-3-642-20674-0_7

Huang X; Luo C; Van Der Meyden R, 2011, 'Symbolic model checking of probabilistic knowledge', in ACM International Conference Proceeding Series, pp. 177 - 186, http://dx.doi.org/10.1145/2000378.2000399

Huang X; Maupin P; Van Der Meyden R, 2011, 'Model Checking Knowledge in Pursuit-Evasion Games', in PROCEEDINGS OF THE TWENTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI11), AAAI Press, Barcelona, pp. 240 - 245, presented at International Joint Conference on Artificial Intelligence, Barcelona, 16 July 2011 - 22 July 2011, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-051

Huang X; Luo C; Van Der Meyden R, 2011, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Revised Selected and Invited Papers, Springer Verlag, Heidelberg, Germany, pp. 95 - 111, presented at AAMAS 2010, Toronto, Canada, 10 May 2010 - 14 May 2010, http://dx.doi.org/10.1007/978-3-642-20674-0_7

Al-Bataineh OI; Van Der Meyden R, 2010, 'Epistemic model checking for knowledge-based program implementation: An application to anonymous broadcast', in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, pp. 429 - 447, http://dx.doi.org/10.1007/978-3-642-16161-2_25

Cassez F; Van Der Meyden R; Zhang C, 2010, 'The Complexity of Synchronous Notions of Information Flow Security', in 13th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FoSSaCS 2010), Springer-Verlag, Germany, pp. 282 - 296, presented at 13th International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FoSSaCS 2010), Paphos, Cyprus, 20 March 2010 - 28 March 2010, http://dx.doi.org/10.1007/978-3-642-12032-9_20


Back to profile page