Number of items: 6.
Snelting, Gregor and Giffhorn, Dennis and Graf, Jürgen and Hammer, Christian and Hecker, Martin and Mohr, Martin and Wasserrab, Daniel
(2014)
Checking probabilistic noninterference using JOANA.
it - Information Technology, 56 (6).
pp. 280-287.
Hammer, Christian and Snelting, Gregor
(2009)
Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs.
International Journal of Information Security, 8 (6).
pp. 399-422.
Hammer, Christian and Snelting, Gregor
(2008)
Flow-Sensitive, Context-Sensitive, and Object-sensitive Information Flow Control Based on Program Dependence Graphs.
Technical Report.
UNSPECIFIED.
(Unpublished)
Hammer, Christian and Schaade, Rüdiger and Snelting, Gregor
(2008)
Static path conditions for Java.
Hammer, Christian and Krinke, Jens and Snelting, Gregor
(2006)
Information Flow Control for Java Based on Path Conditions in Dependence Graphs.
Hammer, Christian and Snelting, Gregor
(2004)
An improved slicer for Java.
This list was generated on Wed Oct 9 23:48:15 2024 CEST.