Ron van der Meyden

According to our database, Ron van der Meyden authored at least 94 papers between 1991 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Optimal Eventual Byzantine Agreement Protocols with Omission Failures.

Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

2022

A Formal Treatment of Contract Signature.

Ron van der Meyden

IEEE Trans. Serv. Comput., 2022

2021

Architecture for Smart SAFE Contracts.

Ron van der Meyden, Michael J. Maher

Proceedings of the 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services, 2021

2020

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic.

Ron van der Meyden, Manas K. Patra

ACM Trans. Comput. Log., 2020

Signature in Counterparts, a Formal Treatment.

Ron van der Meyden

CoRR, 2020

2019

On the specification and verification of atomic swap smart contracts (extended abstract).

Ron van der Meyden

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

2018

An Epistemic Strategy Logic.

Xiaowei Huang, Ron van der Meyden

ACM Trans. Comput. Log., 2018

On the specification and verification of atomic swap smart contracts.

Ron van der Meyden

CoRR, 2018

2017

Dynamic intransitive noninterference revisited.

Sebastian Eggert, Ron van der Meyden

Formal Aspects Comput., 2017

Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract).

Ron van der Meyden

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

An Epistemic Foundation for Authentication Logics (Extended Abstract).

Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2016

The complexity of synchronous notions of information flow security.

Franck Cassez, Ron van der Meyden, Chenyi Zhang

Theor. Comput. Sci., 2016

Nondeterministic Multi-Domain Noninterference via Policy Reduction.

Oliver Woizekowski, Ron van der Meyden

CoRR, 2016

Optimizing Epistemic Model Checking using Conditional Independence.

Ron van der Meyden

CoRR, 2016

On Reductions from Multi-Domain Noninterference to the Two-Level Case.

Oliver Woizekowski, Ron van der Meyden

Proceedings of the Computer Security - ESORICS 2016, 2016

2015

Using Architecture to Reason about Information Security.

Stephen Chong, Ron van der Meyden

ACM Trans. Inf. Syst. Secur., 2015

What, indeed, is intransitive noninterference?

Ron van der Meyden

J. Comput. Secur., 2015

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract).

Ron van der Meyden, Manas K. Patra

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

The complexity of approximations for epistemic synthesis (extended abstract).

Xiaowei Huang, Ron van der Meyden

Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

2014

An Epistemic Strategy Logic (Extended Abstract).

Xiaowei Huang, Ron van der Meyden

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Symbolic Synthesis for Epistemic Specifications with Observational Semantics.

Xiaowei Huang, Ron van der Meyden

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

A Temporal Logic of Strategic Knowledge.

Xiaowei Huang, Ron van der Meyden

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Symbolic Model Checking Epistemic Strategy Logic.

Xiaowei Huang, Ron van der Meyden

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Information flow in systems with schedulers, Part II: Refinement.

Ron van der Meyden, Chenyi Zhang

Theor. Comput. Sci., 2013

Information flow in systems with schedulers, Part I: Definitions.

Ron van der Meyden, Chenyi Zhang

Theor. Comput. Sci., 2013

Synthesis from Knowledge-Based Specifications.

Ron van der Meyden, Moshe Y. Vardi

CoRR, 2013

Complexity and Unwinding for Intransitive Noninterference.

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke

CoRR, 2013

Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics.

Xiaowei Huang, Ron van der Meyden

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

Architectural refinement and notions of intransitive noninterference.

Ron van der Meyden

Formal Aspects Comput., 2012

Intransitive noninterference in nondeterministic systems.

Kai Engelhardt, Ron van der Meyden, Chenyi Zhang

Proceedings of the ACM Conference on Computer and Communications Security, 2012

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.

Xiaowei Huang, Ron van der Meyden

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008).

Ron van der Meyden, Leon van der Torre

J. Appl. Log., 2011

Symbolic model checking of probabilistic knowledge.

Xiaowei Huang, Cheng Luo, Ron van der Meyden

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Abstraction for epistemic model checking of dining cryptographers-based protocols.

Omar I. Al-Bataineh, Ron van der Meyden

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

The Complexity of Intransitive Noninterference.

Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

Model Checking Knowledge in Pursuit Evasion Games.

Xiaowei Huang, Patrick Maupin, Ron van der Meyden

Proceedings of the IJCAI 2011, 2011

Two Applications of Epistemic Logic in Computer Security.

Ron van der Meyden

Proceedings of the Proof, Computation and Agency - Logic at the Crossroads., 2011

2010

A comparison of semantic models for noninterference.

Ron van der Meyden, Chenyi Zhang

Theor. Comput. Sci., 2010

Reports of the AAAI 2010 Conference Workshops.

David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell Jr., Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory M. Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan

AI Mag., 2010

Epistemic Model Checking for Knowledge-Based Program Implementation: An Application to Anonymous Broadcast.

Omar I. Al-Bataineh, Ron van der Meyden

Proceedings of the Security and Privacy in Communication Networks, 2010

Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.

Xiaowei Huang, Cheng Luo, Ron van der Meyden

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time.

Xiaowei Huang, Ron van der Meyden

Proceedings of the ECAI 2010, 2010

Games, Norms and Strategic Notions in Information Flow Security.

Ron van der Meyden

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

2009

Deriving epistemic conclusions from agent architecture.

Stephen Chong, Ron van der Meyden

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.

Xiaowei Huang, Ron van der Meyden

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

On Notions of Causality and Distributed Knowledge.

Ron van der Meyden

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Access Control and Information Flow in Transactional Memory.

Ariel Cohen, Ron van der Meyden, Lenore D. Zuck

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Information Flow in Systems with Schedulers.

Ron van der Meyden, Chenyi Zhang

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Preservation of epistemic properties in security protocol implementations.

Ron van der Meyden, Thomas Wilke

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Model Checking Knowledge and Linear Time: PSPACE Cases.

Kai Engelhardt, Peter Gammie, Ron van der Meyden

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

A Linear Time Algorithm for Pricing European Sequential Barrier Options.

Peng Gao, Ron van der Meyden

Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

2006

Algorithmic Verification of Noninterference Properties.

Ron van der Meyden, Chenyi Zhang

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

2005

Model Checking Russian Cards.

Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

Synthesis of Distributed Systems from Knowledge-Based Specifications.

Ron van der Meyden, Thomas Wilke

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Complete Axiomatizations for Reasoning about Knowledge and Time.

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi

SIAM J. Comput., 2004

A Knowledge Based Analysis of Cache Coherence.

Kai Baukus, Ron van der Meyden

Proceedings of the Formal Methods and Software Engineering, 2004

Symbolic Model Checking the Knowledge of the Dining Cryptographers.

Ron van der Meyden, Kaile Su

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

MCK: Model Checking the Logic of Knowledge.

Peter Gammie, Ron van der Meyden

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.

Tim French, Ron van der Meyden, Mark Reynolds

Proceedings of the Advances in Modal Logic 5, 2004

2003

Complete Axiomatizations for Reasoning about Knowledge and Branching Time.

Ron van der Meyden, Ka-Shu Wong

Stud Logica, 2003

A Logical Reconstruction of SPKI.

Joseph Y. Halpern, Ron van der Meyden

J. Comput. Secur., 2003

Modal Logics of Knowledge and Tim.

Ron van der Meyden

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Knowledge in quantum systems.

Ron van der Meyden, Manas K. Patra

Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), 2003

A Logic for Probability in Quantum Systems.

Ron van der Meyden, Manas K. Patra

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.

Kai Engelhardt, Ron van der Meyden, Kaile Su

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

A Logic for SDSI's Linked Local Name Spaces.

Joseph Y. Halpern, Ron van der Meyden

J. Comput. Secur., 2001

A Refinement Theory that Supports Reasoning About Knowledge and Time.

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Proceedings of the Logic for Programming, 2001

2000

Knowledge in multiagent systems: initial configurations and broadcast.

Alessio Lomuscio, Ron van der Meyden, Mark Ryan

ACM Trans. Comput. Log., 2000

Containment and Optimization of Object-Preserving Conjunctive Queries.

Edward P. F. Chan, Ron van der Meyden

SIAM J. Comput., 2000

Predicate Boundedness of Linear Monadic Datalog is in PSPACE.

Ron van der Meyden

Int. J. Found. Comput. Sci., 2000

On Refinement and Temporal Annotations.

Ron van der Meyden, Yoram Moses

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

A Program Refinement Framework Supporting Reasoning about Knowledge and Time.

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Proceedings of the Foundations of Software Science and Computation Structures, 2000

1999

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

Alessio Lomuscio, Ron van der Meyden, Mark Ryan

CoRR, 1999

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract).

Ron van der Meyden, Nikolay V. Shilov

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998

Common Knowledge and Update in Finite Environments.

Ron van der Meyden

Inf. Comput., 1998

Top-Down Considerations on Distributed Computing.

Ron van der Meyden, Yoram Moses

Proceedings of the Distributed Computing, 12th International Symposium, 1998

Knowledge and the Logic of Local Propositions.

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), 1998

Logical Approaches to Incomplete Information: A Survey.

Ron van der Meyden

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Synthesis from Knowledge-Based Specifications (Extended Abstract).

Ron van der Meyden, Moshe Y. Vardi

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

The Complexity of Querying Indefinite Data about Linearly Ordered Domains.

Ron van der Meyden

J. Comput. Syst. Sci., 1997

1996

The Dynamic Logic of Permission.

Ron van der Meyden

J. Log. Comput., 1996

Knowledge Based Programs: On the Complexity of Perfect Recall in Finite Environments.

Ron van der Meyden

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall.

Ron van der Meyden

Proceedings of the Intelligent Agent Systems, 1996

Finite State Implementations of Knowledge-Based Programs.

Ron van der Meyden

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Complexity Tailored Design: A New Design Methodology for Databases With Incomplete Information.

Tomasz Imielinski, Ron van der Meyden, Kumar V. Vadaparty

J. Comput. Syst. Sci., 1995

Testing Containment of Object-Oriented Conjunctive Queries is Pi_2^p-hard.

Edward P. F. Chan, Ron van der Meyden

Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995

1994

Common Knowledge and Update in Finite Enviromnents I.

Ron van der Meyden

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Axioms for Knowledge and Time in Distributed Systems with Perfect Recall

Ron van der Meyden

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Mutual Belief Revision (Preliminary Report).

Ron van der Meyden

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

Recursively Indefinite Databases.

Ron van der Meyden

Theor. Comput. Sci., 1993

An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).

L. Thorne McCarty, Ron van der Meyden

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

Reasoning About Indefinite Actions.

L. Thorne McCarty, Ron van der Meyden

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

A Clausal Logic for Deontic Action Specification.

Ron van der Meyden

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Indefinite Reasoning with Definite Rules.

L. Thorne McCarty, Ron van der Meyden

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991