Number of items: 3.
Conference or Workshop Item (A Paper)
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 Thu Nov 21 12:47:19 2024 CET.