9 citations · 38 across the 15 of their papers we have counts for
16 papers
GraftyVul: Synthesising Insecure Programs Through Real-World Vulnerability Grafting
Omri Ram, Mitchell Horner, Ron Van der Meyden +2
Vulnerability datasets underpin a wide range of security research, including vulnerability detection, automated remediation, and secure code generation. However, existing datasets…
Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
Ron van der Meyden
In order to develop solutions that perform actions as early as possible, analysis of distributed algorithms using epistemic logic has generally concentrated on ``full information p…
A Game Theoretic Analysis of Liquidity Events in Convertible Instruments
Ron van der Meyden
Convertible instruments are contracts, used in venture financing, which give investors the right to receive shares in the venture in certain circumstances. In liquidity events, inv…
A Formal Treatment of Contract Signature
Ron van der Meyden
The paper develops a logical understanding of processes for signature of legal contracts, motivated by applications to legal recognition of smart contracts on blockchain platforms.…
Optimizing Epistemic Model Checking using Conditional Independence
Ron van der Meyden
Conditional independence reasoning has been shown to be helpful in the context of Bayesian nets to optimize probabilistic inference, and related techniques have been applied to spe…
The complexity of approximations for epistemic synthesis (extended abstract)
Xiaowei Huang, Ron van der Meyden
Epistemic protocol specifications allow programs, for settings in which multiple agents act with incomplete information, to be described in terms of how actions are related to what…
Dynamic Intransitive Noninterference Revisited
Sebastian Eggert, Ron van der Meyden
The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the…
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
Ron van der Meyden, Manas K. Patra
We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall seman…
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the s…
Using Architecture to Reason about Information Security
Stephen Chong, Ron van der Meyden
We demonstrate, by a number of examples, that information-flow security properties can be proved from abstract architectural descriptions, that describe only the causal structure o…
An Epistemic Strategy Logic (Extended Abstract)
Xiaowei Huang, Ron van der Meyden
The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would kn…
The Complexity of Synchronous Notions of Information Flow Security
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one in wh…
Symbolic Synthesis of Knowledge-based Program Implementations with Synchronous Semantics
X. Huang, R. van der Meyden
This paper deals with the automated synthesis of implementations of knowledge-based programs with respect to two synchronous semantics (clock and synchronous perfect recall). An ap…
Complexity and Unwinding for Intransitive Noninterference
Sebastian Eggert, Ron van der Meyden, Henning Schnoor +1
The paper considers several definitions of information flow security for intransitive policies from the point of view of the complexity of verifying whether a finite-state system i…
Consistent assignment of quantum probabilities
Manas K. Patra, Ron van der Meyden
We pose and solve a problem concerning consistent assignment of quantum probabilities to a set of bases associated with maximal projective measurements. We show that our solution i…
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Omar I. Al-Bataineh, Ron van der Meyden
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo…