Professor Ron Van der Meyden

Professor Ron Van der Meyden

Professor
Engineering
Computer Science and Engineering

Professor Ron van der Meyden is from the School of Computer Science and Engineering. His research interests include:

  • Computer Security
  • Logic in Computer Science
  • Logic of Knowledge and Belief
  • Temporal Logic
  • Distributed Systems
  • Blockchain & Smart Contracts

He leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency

For further details and publications, see his personal webpage

Phone
+61 2 9385 6922
Location
Building K17 room 217G
  • Books | 2004
    2004, Logics for Emerging Applications od Databases, Van Der Meyden R; Chomicki J; Saake G, (eds.), Springer-Verlag, Berlin
  • Book Chapters | 2011
    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, SPRINGER, pp. 133 - 144, http://dx.doi.org/10.1007/978-94-007-0080-2_9
    Book Chapters | 2007
    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 | 2022
    Van Der Meyden R, 2022, 'A Formal Treatment of Contract Signature', IEEE Transactions on Services Computing, 15, pp. 3101 - 3114, http://dx.doi.org/10.1109/TSC.2021.3101833
    Journal articles | 2020
    Meyden RVD; Patra MK, 2020, 'Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic', ACM Transactions on Computational Logic, 21, http://dx.doi.org/10.1145/3409250
    Journal articles | 2018
    Huang X; Van Der Meyden R, 2018, 'An epistemic strategy logic', ACM Transactions on Computational Logic, 19, http://dx.doi.org/10.1145/3233769
    Journal articles | 2017
    Eggert S; van der Meyden R, 2017, 'Dynamic intransitive noninterference revisited', Formal Aspects of Computing, 29, pp. 1087 - 1120, http://dx.doi.org/10.1007/s00165-017-0430-6
    Journal articles | 2016
    Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011
    Journal articles | 2016
    Cassez F; van der Meyden R; Zhang C, 2016, 'The complexity of synchronous notions of information flow security', Theoretical Computer Science, 631, pp. 16 - 42, http://dx.doi.org/10.1016/j.tcs.2016.03.011
    Journal articles | 2015
    Chong S; Van Der Meyden R, 2015, 'Using architecture to reason about information security', ACM Transactions on Information and System Security, 18, http://dx.doi.org/10.1145/2829949
    Journal articles | 2015
    Van Der Meyden R, 2015, 'What, indeed, is intransitive noninterference?1', Journal of Computer Security, 23, pp. 197 - 228, http://dx.doi.org/10.3233/JCS-140516
    Journal articles | 2013
    Van Der Meyden R; Zhang C, 2013, 'Information Flow in Systems with Schedulers (Part I:Definitions)', Theoretical Computer Science, 467, pp. 68 - 88, http://dx.doi.org/10.1016/j.tcs.2012.10.047
    Journal articles | 2013
    Van Der Meyden R; Zhang C, 2013, 'Information flow in systems with schedulers, Part II: Refinement', Theoretical Computer Science, 484, pp. 70 - 92, http://dx.doi.org/10.1016/j.tcs.2013.01.002
    Journal articles | 2012
    Patra M; Van Der Meyden R, 2012, 'Consistent assignment of quantum probabilities', Journal of Physics A: Mathematical and Theoretical, 45, pp. 1751 - 8113, http://dx.doi.org/10.1088/1751-8113/45/7/075304
    Journal articles | 2012
    Van Der Meyden R, 2012, 'Architectural Refinement and Notions of Intransitive Noninterference', Formal Aspects of Computing, 24, pp. 769 - 792, http://dx.doi.org/10.1007/s00165-012-0247-2
    Journal articles | 2010
    Van Der Meyden R; Zhang C, 2010, 'A comparison of semantic models for noninterference', Theoretical Computer Science, 411, pp. 4123 - 4147, http://dx.doi.org/10.1016/j.tcs.2010.08.013
    Journal articles | 2009
    Van Der Meyden R, 2009, 'Architectural Refinement and Notions of Intransitive Noninterference', Engineering Secure Software and Systems
    Journal articles | 2007
    Van Der Meyden R; Zhang C, 2007, 'A comparison of semantic models for noninterference', 4th international workshop on Formal aspects in security and trust
    Journal articles | 2007
    Van Der Meyden R; Zhang C, 2007, 'Algorithmic Verification of Noninterference Properties', Electronic Notes in Theoretical Computer Science, 168, pp. 61 - 75, http://dx.doi.org/10.1016/j.entcs.2006.11.002
    Journal articles | 2006
    van Ditmarsch HP; van der Hoek HW; Van Der Meyden R; Ruan J, 2006, 'Model Checking Russian Cards', Electronic Notes in Theoretical Computer Science, 149, pp. 105 - 123, http://dx.doi.org/10.1016/j.entcs.2005.07.029
    Journal articles | 2004
    Halpern JY; Van Der Meyden R; Vardi M, 2004, 'Complete Axiomatizations for Logics of Knowledge and Time', Siam Journal on Computing, 33, pp. 674 - 703
    Journal articles | 2003
    Halpern JY; Van Der Meyden R, 2003, 'A Logical Reconstruction of SPKI', Journal of Computer Security, 11,, pp. 581 - 614
    Journal articles | 2003
    Van Der Meyden R; Wong K, 2003, 'Complete Axiomatizations for Reasoning about Knowledge and Branching Time', Studia Logica, 75, pp. 93 - 123
    Journal articles | 2001
    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, 51, pp. 19 - 23
    Journal articles | 2001
    Van Der Meyden R; Halpern JY, 2001, 'A logic for SDSI`s Linked Local Name Spaces', Journal of Computer Security, pp. 105 - 142
    Journal articles | 2000
    Chan EPF; van der Meyden R, 2000, 'Containment and Optimization of Object Preserving Conjunctive Queries', Siam Journal on Computing, 29, pp. 1371 - 1400, http://dx.doi.org/10.1137/S0097539794262446
    Journal articles | 2000
    Lomusciou AR; Van Der Meyden R; Ryan R, 2000, 'Knowledge In Multi-agent Systems: Initial Configurations and Broadcast', ACM Transactions on Computational Logic, 1, pp. 247 - 284
    Journal articles | 2000
    Van Der Meyden R; Reeve J, 2000, 'Predicate Boundedness of Linear Monadic Datalog is in PSPACE', International Journal of Foundations of Computer Science, 11, pp. 591 - 612
    Journal articles | 1998
    Van Der Meyden R, 1998, 'Common Knowledge and Update in Finite Environments', Information and Computation, 140, pp. 115 - 157, http://dx.doi.org/10.1006/inco.1997.2679
    Journal articles | 1997
    Van Der Meyden R, 1997, 'The Complexity of Querying Indefinite Data about Linearly Ordered Domains', Journal of Computer and System Sciences, 54, pp. 113 - 135, http://dx.doi.org/10.1006/jcss.1997.1455
    Journal articles | 1996
    Van Der Meyden R, 1996, 'The dynamic logic of permission', Journal of Logic and Computation, 6, pp. 465 - 479, http://dx.doi.org/10.1093/logcom/6.3.465
    Journal articles | 1995
    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, 51, pp. 405 - 432, http://dx.doi.org/10.1006/jcss.1995.1079
    Journal articles | 1993
    van der Meyden R, 1993, 'Recursively indefinite databases', Theoretical Computer Science, 116, pp. 151 - 194, http://dx.doi.org/10.1016/0304-3975(93)90223-G
  • Conference Papers | 2023
    Alpturer K; Halpern JY; Van Der Meyden R, 2023, 'Optimal Eventual Byzantine Agreement Protocols with Omission Failures', in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, pp. 244 - 252, http://dx.doi.org/10.1145/3583668.3594573
    Preprints | 2023
    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
    Conference Papers | 2021
    Van Der Meyden R; Maher MJ, 2021, 'Architecture for Smart SAFE Contracts', in 2021 3rd Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2021, pp. 145 - 148, http://dx.doi.org/10.1109/BRAINS52497.2021.9569831
    Preprints | 2020
    van der Meyden R, 2020, A Formal Treatment of Contract Signature, , http://dx.doi.org/10.48550/arxiv.2002.09827
    Conference Papers | 2019
    Meyden RVD, 2019, 'On the specification and verification of atomic swap smart contracts (extended abstract)', in ICBC 2019 - IEEE International Conference on Blockchain and Cryptocurrency, pp. 176 - 179, http://dx.doi.org/10.1109/BLOC.2019.8751250
    Conference Papers | 2017
    Halpern JY; Van der Meyden R; Pucella R, 2017, 'An Epistemic Foundation for Authentication Logics (Extended Abstract)', in Lang J (ed.), Proceedings of the Conference on Theoretical Aspects of Knowledge and Rationality, Liverpool, UK, presented at Conference on Theoretical Aspects of Knowledge and Rationality, Liverpool, UK, 24 July 2017 - 26 July 2017, http://dx.doi.org/10.4204/EPTCS.251.21
    Preprints | 2017
    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
    Conference Papers | 2017
    Van Der Meyden R, 2017, 'Optimizing epistemic model checking using conditional independence (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, ENGLAND, Univ Liverpool, Liverpool, pp. 398 - 414, presented at 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), ENGLAND, Univ Liverpool, Liverpool, 24 July 2017 - 26 July 2017, http://dx.doi.org/10.4204/eptcs.251.29
    Preprints | 2017
    van der Meyden R, 2017, Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1707.08756
    Preprints | 2016
    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
    Conference Papers | 2016
    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
    Preprints | 2016
    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
    Preprints | 2016
    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
    Conference Papers | 2015
    Huang X; Van Der Meyden R, 2015, 'The complexity of approximations for epistemic synthesis (extended abstract)', in Cerny P; Kuncak V; Parthasarathy M (eds.), Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, San Francisco, CA, USA, pp. 120 - 137, presented at Workshop on Synthesis, San Francisco, CA, USA, 18 July 2015 - 18 July 2015, http://dx.doi.org/10.4204/eptcs.202.9
    Conference Papers | 2015
    Van Der Meyden R; Patra MK, 2015, 'Undecidable cases of model checking probabilistic temporal-epistemic logic (extended abstract)', in Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, PA, Carnegie Mellon Univ, Pittsburgh, pp. 264 - 282, presented at 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), PA, Carnegie Mellon Univ, Pittsburgh, 04 June 2015 - 06 June 2015, http://dx.doi.org/10.4204/EPTCS.215.19
    Preprints | 2014
    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
    Preprints | 2014
    Chong S; van der Meyden R, 2014, Using Architecture to Reason about Information Security, , http://dx.doi.org/10.48550/arxiv.1409.0309
    Conference Papers | 2014
    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
    Conference Papers | 2014
    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, http://www.cse.unsw.edu.au/~xiaoweih/papers/obs_strat.pdf
    Conference Papers | 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
    Conference Papers | 2014
    Huang X; van der Meyden R, 2014, 'Symbolic Synthesis for Epistemic Specifications with Observational Semantics', in Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, Grenoble, France, pp. 455 - 469, presented at 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Grenoble, France, 05 April 2014 - 13 April 2014, http://dx.doi.org/10.1007/978-3-642-54862-8_39
    Preprints | 2014
    Huang X; van der Meyden R, 2014, An Epistemic Strategy Logic (Extended Abstract), , http://dx.doi.org/10.48550/arxiv.1404.0838
    Preprints | 2013
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    Huang X; Van Der Meyden R, 2013, '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, http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/download/5117/5269
    Preprints | 2013
    van der Meyden R; Vardi MY, 2013, Synthesis from Knowledge-Based Specifications, , http://dx.doi.org/10.48550/arxiv.1307.6333
    Conference Papers | 2012
    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
    Conference Papers | 2011
    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
    Conference Papers | 2011
    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
    Conference Papers | 2011
    Huang X; Luo C; Van Der Meyden R, 2011, 'Symbolic Model Checking of Probabilistic Knowledge', in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011, ACM, New York, NY, USA, pp. 177 - 186, 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.2000399
    Conference Papers | 2011
    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://ijcai.org/papers11/Papers/IJCAI11-051.pdf
    Preprints | 2011
    Patra MK; van der Meyden R, 2011, Consistent assignment of quantum probabilities, , http://dx.doi.org/10.48550/arxiv.1109.1763
    Conference Proceedings (Editor of) | 2011
    Van Der Meyden R; Smaus JG, 2011, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 6572 LNAI, http://dx.doi.org/10.1007/978-3-642-20674-0
    Conference Papers | 2010
    Al Bateineh O; 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, Springer, Berlin, Germany, presented at 6th International Conference on Security and Privacy in Communication Networks, SecureComm 2010, Singapore, 07 September 2010 - 09 September 2010, http://dx.doi.org/10.1007/978-3-642-16161-2_25
    Preprints | 2010
    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
    Preprints | 2010
    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
    Conference Papers | 2010
    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, 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
    Conference Papers | 2010
    Huang X; Luo C; Van Der Meyden R, 2010, '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
    Conference Papers | 2010
    Huang X; Luo C; Van Der Meyden R, 2010, 'Improved bounded model checking for a fair branching-time temporal epistemic logic', in Proc. 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2010), IFIMAAS, http://www.aamas-conference.org/Proceedings/aamas2010/, presented at AAMAS 2010, Toronto, Canada, 10 May 2010 - 14 May 2010, http://www.aamas-conference.org/Proceedings/aamas2010/pdf/02%20Extended%20Abstracts/Red/R-18.pdf
    Conference Papers | 2010
    Huang X; Van Der Meyden R, 2010, 'The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time', in ECAI 2010, 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, pp. 549 - 554, presented at 19th European Conference on Artificial Intelligence, Lisbon, Portugal, 16 August 2010 - 20 August 2010, http://dx.doi.org/10.3233/978-1-60750-606-5-549
    Conference Papers | 2010
    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, http://dx.doi.org/10.1007/978-3-642-14977-1_2
    Conference Papers | 2009
    Chong S; Van Der Meyden R, 2009, 'Deriving Epistemic Conclusions from Agent architecture', in Theoretical Aspects of Rationality and Knowledge, ACM Digital Library, Palo Alto CA, presented at 12th Conf. on Theoretical Aspects of Rationality and Knowledge, Palo Alto, CA, 06 July 2009 - 09 July 2009
    Conference Papers | 2009
    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, 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
    Conference Papers | 2009
    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
    Conference Papers | 2008
    Cohen A; Van Der Meyden R; Zuck L, 2008, 'Access Control and Information Flow in Transactional Memory', in Formal Aspects in Security and Trust, Springer, Berlin, presented at 5th International Workshop on Formal Aspects in Security and Trust, FAST08, Malaga, Spain, 09 October 2008 - 10 October 2008
    Conference Papers | 2008
    Van Der Meyden R; Zhang C, 2008, 'Information flow in systems with schedulers', in 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, presented at 21st IEEE computer security foundations symposium, Pittsburgh, Pennsylvania, 23 June 2008 - 25 June 2008
    Conference Papers | 2008
    Van Der Meyden R, 2008, 'On notions of causality and distributed knowledge', in 11th International conference on principles of knowledge representation and reasoning, Proceedings, Sydney, presented at 11th International conference on principles of knowledge representation and reasoning, Sydney, 16 September 2008 - 18 September 2008
    Conference Proceedings (Editor of) | 2008
    Van Der Meyden R; Van Der Torre L, (ed.), 2008, 'Deontic Logic in Computer Science - 9th International Conference, DEON 2008', Luxembourg, presented at Deontic Logic in Computer Science - 9th International Conference, DEON 2008, Luxembourg, 15 July 2008 - 18 July 2008, http://dx.doi.org/10.1007/978-3-540-70525-3
    Conference Papers | 2007
    Gao P; Van Der Meyden R, 2007, 'A linear time algorithm for pricing European sequential barrier options', in Computing: the Australasian theory symposium, Ballarat, Victoria, presented at Computing: The Australasian Theory Symposium CATS 2007, Ballarat, Victoria, 30 January 2007 - 02 February 2007
    Conference Papers | 2007
    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, http://dx.doi.org/10.1007/978-3-540-75227-1_16
    Conference Papers | 2007
    Van Der Meyden R; Engelhardt K; Gammie PR, 2007, 'Model checking knowledge and linear-time PSPACE cases', in Logical Foundations of Computer Science, International Symposium, LFCS 2007, volume 4514 of LNCS, Springer-Verlag, New York, USA, presented at Logical foundations of computer science, New York, USA, 04 June 2007 - 07 June 2007
    Conference Papers | 2007
    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, presented at Theoretical aspects of knowledge and rationality, Brussels, Belgiium, 25 June 2007 - 27 June 2007
    Conference Papers | 2007
    Van Der Meyden R, 2007, 'What, indeed, is intransitive noninterference?', in European symposium on research in computer security, Dresden, Germany, presented at European symposium on research in computer security, Dresden, Germany, 24 September 2007 - 26 September 2007
    Conference Papers | 2007
    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, GERMANY, Dresden, pp. 235 - 250, presented at 12th European Symposium on Research in Computer Security, GERMANY, Dresden, 24 September 2007 - 26 September 2007, http://dx.doi.org/10.1016/B978-012372551-6/50077-8
    Conference Papers | 2005
    Van Der Meyden R; Wilke T, 2005, 'Synthesis of distributed systems from knowledge-based specifications', in 16th international conference on concurrency theory, San Francisco, California USA, presented at 16th international conference on concurrency theory, San Francisco, California USA, 23 August 2005 - 26 August 2005
    Conference Proceedings (Editor of) | 2005
    Van Der Meyden R, 2005, 'Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge: Preface'
    Conference Proceedings (Editor of) | 2005
    Van Der Meyden R, (ed.), 2005, 'Theoretical Aspects of Rationality and Knowledge 2005', Singapore, presented at Theoretical Aspects of Rationality and Knowledge 2005, Singapore, 10 June 2005 - 12 June 2005
    Conference Papers | 2004
    Baukus K; Van Der Meyden R, 2004, 'A knowledge-based analysis of cache coherence', in 6th International Conference on Formal Engineering Methods, ICFEM 2004, Springer, Seattle, Washington, USA, presented at 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, Washington, USA, 08 November 2004 - 12 November 2004
    Conference Papers | 2004
    Gammie PR; Van Der Meyden R, 2004, 'MCK - Model Checking the Logic of Knowledge', in 16th International Conference on Computer Aided Verification, Boston, Massachusetts, presented at 16th International Conference on Computer Aided Verification, Boston, Massachusetts, 12 July 2004 - 17 July 2004
    Conference Papers | 2004
    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
    Conference Papers | 2004
    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
    Conference Papers | 2003
    Van Der Meyden R; Patra MK, 2003, 'A logic for probability in quantum systems', in 17th International Workshop CSL 2003, Vienna, Austria, presented at 17th International Workshop CSL 2003, Vienna, Austria, 25 August 2003 - 30 August 2003
    Conference Papers | 2003
    Van Der Meyden R; Patra MK, 2003, 'Knowledge in Quantum Systems', in TARK 2003, Indiana USA, presented at TARK 2003, Indiana USA, 20 June 2003 - 22 June 2003
    Conference Papers | 2003
    Van Der Meyden R, 2003, 'Modal Logics of Knowledge and Time', in Reynolds M; Sattar A (ed.), 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics, Queensland, pp. 5 - 5, presented at 10th Internaltional Symposium on Temporal Representation and Reasoning and 4th Internaltional Conference on Temporal Logics, Queensland, 08 July 2003 - 10 July 2003
    Conference Papers | 2002
    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
    Preprints | 2002
    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
    Preprints | 2002
    Halpern JY; van der Meyden R, 2002, A logical reconstruction of SPKI, , http://dx.doi.org/10.48550/arxiv.cs/0208028
    Conference Papers | 2001
    Engelhardt K; Van Der Meyden R; Moses Y, 2001, 'A Refinement Theory that Supports Reasoning about Knowledge and Time for Synchronous Agen', in Proceedings of the First International Conference on Advances in Natural Computation (ICNC 2005), Part III, Lecture Notes in Computer Science 3612/2005, Springer, Berlin, Germany, presented at Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, 03 December 2001 - 07 December 2001, http://dx.doi.org/10.1007/3-540-45653-8_9
    Conference Papers | 2001
    Van Der Meyden R; Halpern JY, 2001, 'A logical Reconstruction of SPKI', in 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia, presented at 14th IEEE Comnputer Security Foundations Workshop, Cape Breton, Nova Scotia
    Conference Papers | 2000
    Engelhardt K; Van Der Meyden R; Moses Y; Moses Y, 2000, 'A Program Refinement Framework Supporting Reasoning about Knowledge and Time', in Foundations of Software Science and Computation Structures, volume 1784 of LNCS, Springer-Verlag, Berlin, Germany, presented at Foundations of Software Science and Computation Structures, Berlin, Germany, 25 March 2000 - 02 April 2000, http://dx.doi.org/10.1007/3-540-46432-8_8
    Preprints | 2000
    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
    Conference Papers | 2000
    Van Der Meyden R; Moses Y, 2000, 'On Refinement and Temporal Annotations', in 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, presented at 6th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, Pune India, 20 September 2000 - 22 September 2000
    Conference Papers | 1999
    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
    Preprints | 1999
    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
    Conference Papers | 1999
    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, presented at 12th Australia Joint Conference on Artificial Intelligence, AI`99, Madras India, 06 December 1999 - 10 December 1999
    Conference Papers | 1998
    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, http://dx.doi.org/10.1007/bfb0056469
    Conference Papers | 1998
    van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications (Extended abstract)', in Sangiorgi D; deSimone R (ed.), CONCUR'98: CONCURRENCY THEORY, SPRINGER-VERLAG BERLIN, FRANCE, NICE, pp. 34 - 49, presented at 9th International Conference on Concurrency Theory (CONCUR 98), FRANCE, NICE, 08 September 1998 - 11 September 1998, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000082774600003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
    Conference Papers | 1998
    van der Meyden R; Vardi MY, 1998, 'Synthesis from knowledge-based specifications', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 34 - 49, http://dx.doi.org/10.1007/bfb0055614
    Conference Papers | 1997
    Van Der Meyden R, 1997, 'Constructing finite state implementations of knowledge-based programs with perfect recall', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 135 - 151, http://dx.doi.org/10.1007/3-540-62686-7_33
    Conference Papers | 1996
    van der Meyden R, 1996, 'Finite state implementations of knowledge-based programs', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 262 - 273, http://dx.doi.org/10.1007/3-540-62034-6_55
    Conference Papers | 1995
    Chart EPF; Van Der Meyden R, 1995, 'Testing containment of object-oriented conjunctive queries is Πp2 -hard', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 81 - 90, http://dx.doi.org/10.1007/BFb0030822
    Conference Papers | 1994
    van der Meyden R, 1994, 'Axioms for knowledge and time in distributed systems with perfect recall', in Proceedings - Symposium on Logic in Computer Science, pp. 448 - 457
    Conference Papers | 1992
    van der Meyden R, 1992, 'Complexity of querying indefinite data about linearly ordered domains', in Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 331 - 345, http://dx.doi.org/10.1145/137097.137902
    Conference Papers | 1991
    van der Meyden R, 1991, 'Clausal logic for deontic action specification (extended abstract)', in Clausal logic for deontic action specification (extended abstract), pp. 221 - 238
    Conference Papers | 1990
    van der Meyden R, 1990, 'Recursively indefinite databases', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 364 - 378, http://dx.doi.org/10.1007/3-540-53507-1_89
    Conference Papers | 1990
    van der Meyden R, 1990, 'The dynamic logic of permission', in Proceedings - Symposium on Logic in Computer Science, pp. 72 - 78