Jürgen Graf

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 3

Top Topics

Probabilistic Approaches

Information Flow Control

Top Venues

Software Engineering (Workshops)

it Inf. Technol.

J. Comput. Secur.

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
Low-deterministic security for low-nondeterministic programs. J. Comput. Secur. 26 (3) (2018)
Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
On Improvements of Low-Deterministic Security. POST (2016)
Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
Tool Demonstration: JOANA. POST (2016)
Martin Mohr, Jürgen Graf, Martin Hecker
JoDroid: Adding Android Support to a Static Information Flow Control Tool. Software Engineering (Workshops) (2015)
Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab
Checking probabilistic noninterference using JOANA. it Inf. Technol. 56 (6) (2014)
Jürgen Graf, Martin Hecker, Martin Mohr
Using JOANA for Information Flow Control in Java Programs - A Practical Guide. Software Engineering (Workshops) (2013)
Jürgen Graf
Speeding Up Context-, Object- and Field-Sensitive SDG Generation. SCAM (2010)
Maximilian Störzer, Jürgen Graf
Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software. ICSM (2005)