9 citations · 38 across the 15 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…
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…
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…