Select Publications

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

Huang X; Van Der Meyden R, 2010, 'The complexity of epistemic model checking: Clock semantics and branching time', in Frontiers in Artificial Intelligence and Applications, pp. 549 - 554, http://dx.doi.org/10.3233/978-1-60750-606-5-549

Van Der Meyden R, 2010, 'Games, Norms and Strategic Notions in Information Flow Security', in CLIMA XI - Computational Logic in Multi-agent Systems, Springer, Lisbon, presented at 11th Int. Workshop on Computational Logic in Multi- Agent Systems, Lisbon, 01 August 2010, http://dx.doi.org/10.1007/978-3-642-14977-1_2

Cohen A; Van Der Meyden R; Zuck L, 2009, 'Access Control and Information Flow in Transactional Memory', in Degano P; Guttman J; Martinelli F (eds.), Formal Aspects in Security and Trust, Springer, Berlin, pp. 316 - +, presented at 5th International Workshop on Formal Aspects in Security and Trust, FAST08, Malaga, Spain, 09 October 2008 - 10 October 2008, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000266239700021&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Chong S; Van Der Meyden R, 2009, 'Deriving epistemic conclusions from agent architecture', in Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09, pp. 61 - 70, http://dx.doi.org/10.1145/1562814.1562826

Van Der Meyden R, 2009, 'Architectural refinement and notions of intransitive noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 60 - 74, http://dx.doi.org/10.1007/978-3-642-00199-4_6

Huang X; Van Der Meyden R, 2009, 'Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic', in AI 2010: Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 11 - 20, presented at 22nd Australasian Joint Conference on Artificial Intelligence, Melbourne, 01 December 2009 - 04 December 2009, http://dx.doi.org/10.1007/978-3-642-10439-8_2

Van Der Meyden R; Zhang C, 2008, 'Information flow in systems with schedulers', in 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, pp. 301 - 312, presented at 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, 23 June 2008 - 25 June 2008, http://dx.doi.org/10.1109/CSF.2008.13

Van Der Meyden R, 2008, 'On notions of causality and distributed knowledge', in Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, pp. 209 - 218

van der Meyden R, 2007, 'What, indeed, is intransitive noninterference? - (Extended abstract)', in Biskup J; Lopez J (ed.), COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, SPRINGER-VERLAG BERLIN, Dresden, GERMANY, pp. 235 - 250, presented at 12th European Symposium on Research in Computer Security, Dresden, GERMANY, 24 September 2007 - 26 September 2007, http://dx.doi.org/10.1016/B978-012372551-6/50077-8

Van Der Meyden R; Chenyi Z, 2007, 'A comparison of semantic models for noninterference', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 235 - 249

Gao P; van der Meyden R, 2007, 'A linear time algorithm for pricing european sequential barrier options', in Conferences in Research and Practice in Information Technology Series

Van Der Meyden R; Wilke T, 2007, 'Preservation of epistemic properties in security protocol implementations', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, pp. 212 - 221, presented at Theoretical aspects of knowledge and rationality, Brussels, Belgiium, 25 June 2007 - 27 June 2007, http://dx.doi.org/10.1145/1324249.1324278

Van Der Meyden R, 2007, 'What, indeed, is intransitive noninterference?', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 235 - 250

Engelhardt K; Gammie P; Van Der Meyden R, 2007, 'Model checking knowledge and linear time: PSPACE cases', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 195 - 211

Van Der Meyden R; Wilke T, 2005, 'Synthesis of distributed systems from knowledge-based specifications', in Abadi M; DeAlfaro L (ed.), 16th international conference on concurrency theory, SPRINGER-VERLAG BERLIN, San Francisco, California USA, pp. 562 - 576, presented at 16th international conference on concurrency theory, San Francisco, California USA, 23 August 2005 - 26 August 2005, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000231873700042&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Van Der Meyden RD; Su K, 2004, 'Symbolic model checking the knowledge of the Dining Cryptographers', in Proceedings of the Computer Security Foundations Workshop, pp. 280 - 291

Gammie PR; Van Der Meyden R, 2004, 'MCK - Model Checking the Logic of Knowledge', in 16th International Conference on Computer Aided Verification, Boston, Massachusetts, pp. 479 - 483, presented at 16th International Conference on Computer Aided Verification, Boston, Massachusetts, 12 July 2004 - 17 July 2004

Baukus K; Van Der Meyden R, 2004, 'A knowledge based analysis of cache coherence', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 99 - 114

Van Der Meyden R; Su K, 2004, 'Model Checking the Knowledge of the Dining Cryptographers', in 17th Computer Security Foundations Workshop, 17th Computer Security Foundations Workshop, Pacific Grove CA, USA, presented at 17th Computer Security Foundations Workshop, Pacific Grove CA, USA, 28 June 2004 - 30 June 2004

Van Der Meyden R; Patra MK, 2003, 'Knowledge in Quantum Systems', in TARK 2003, Indiana USA, pp. 104 - 117, presented at TARK 2003, Indiana USA, 20 June 2003 - 22 June 2003, http://dx.doi.org/10.1145/846241.846257

van der Meyden R, 2003, 'Modal logics of knowledge and time', in Reynolds M; Sattar A (ed.), TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS, IEEE COMPUTER SOC, CAIRNS, AUSTRALIA, pp. 5 - 5, presented at 10th International Symposium on Temporal Representation and Reasoning/4th International Conference on Temporal Logic (TIME-ICTL 2003), CAIRNS, AUSTRALIA, 08 July 2003 - 10 July 2003, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000184467800002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

Van Der Meyden R; Patra MK, 2003, 'A logic for probability in quantum systems', in 17th International Workshop CSL 2003, Vienna, Austria, pp. 427 - 440, presented at 17th International Workshop CSL 2003, Vienna, Austria, 25 August 2003 - 30 August 2003

Engelhardt K; Van Der Meyden R, 2002, 'Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers (Preliminary Version)', in Advances in Modal Logic 2002 (AiML), Advances in Modal Logic 2002 (AiML), Toulouse France, presented at Advances in Modal Logic 2002 (AiML), Toulouse France, 02 September 2002

Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A refinement theory that supports reasoning about knowledge and time for synchronous agents', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 125 - 141

Van Der Meyden R; Halpern JY, 2001, 'A logical Reconstruction of SPKI', in 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia, pp. 59 - 70, presented at 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia

van der Meyden R; Moses Y, 2000, 'On refinement and temporal annotations', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 185 - 202

Engelhardt K; Van Der Meyden R; Moses Y, 2000, 'A program refinement framework supporting reasoning about knowledge and time', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 114 - 129

Van Der Meyden R; Shilov N, 1999, 'Model Checking Knowledge and Time in Systems with Perfect Recall', in 12th Australia Joint Conference on Artificial Intelligence, AI 1999, Madras India, pp. 432 - 445, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999, http://dx.doi.org/10.1007/3-540-46691-6_35

Halpern JY; van der Meyden R, 1999, 'Logic for SDSI's linked local name spaces preliminary version', in Proceedings of the Computer Security Foundations Workshop, pp. 111 - 122

Van Der Meyden R; Moses Y, 1998, 'Top-down considerations on distributed computing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 16 - 19


Back to profile page