Number of items: 3.
H
Hammer, Christian and Grimme, Martin and Krinke, Jens
(2006)
Dynamic path conditions in dependence graphs.
Hammer, Christian and Krinke, Jens and Nodes, Frank
(2006)
Intransitive Noninterference in Dependence Graphs.
Hammer, Christian and Krinke, Jens and Snelting, Gregor
(2006)
Information Flow Control for Java Based on Path Conditions in Dependence Graphs.
This list was generated on Sat May 31 10:20:37 2025 CEST.