Number of items: 3.
Hammer, Christian and Grimme, Martin and Krinke, Jens
(2006)
Dynamic path conditions in dependence graphs.
Hammer, Christian and Krinke, Jens and Snelting, Gregor
(2006)
Information Flow Control for Java Based on Path Conditions in Dependence Graphs.
Hammer, Christian and Krinke, Jens and Nodes, Frank
(2006)
Intransitive Noninterference in Dependence Graphs.
This list was generated on Sat Mar 15 08:25:21 2025 CET.