Jürgen Graf

According to our database, Jürgen Graf authored at least 13 papers between 2005 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Low-deterministic security for low-nondeterministic programs.

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

J. Comput. Secur., 2018

2016

Information Flow Control with System Dependence Graphs - Improving Modularity, Scalability and Precision for Object Oriented Languages.

Jürgen Graf

PhD thesis, 2016

Sicherheitsanalyse mit JOANA.

Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.

Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.

Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

Reliability of platinum electrodes and heating elements on SiO₂ insulation layers and membranes.

Radoslav Rusanov, Holger Rank, Juergen Graf, Tino Fuchs, Roland Mueller-Fiedler, Oliver Kraft

Microelectron. Reliab., 2015

JoDroid: Adding Android Support to a Static Information Flow Control Tool.

Martin Mohr, Jürgen Graf, Martin Hecker

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014

Checking probabilistic noninterference using JOANA.

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab

it Inf. Technol., 2014

Extending and Applying a Framework for the Cryptographic Verification of Java Programs.

Ralf Küsters, Enrico Scapin, Tomasz Truderung, Juergen Graf

IACR Cryptol. ePrint Arch., 2014

2013

Using JOANA for Information Flow Control in Java Programs - A Practical Guide.

Jürgen Graf, Martin Hecker, Martin Mohr

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012

A Framework for the Cryptographic Verification of Java-like Programs.

Ralf Küsters, Tomasz Truderung, Juergen Graf

IACR Cryptol. ePrint Arch., 2012

2010

Speeding Up Context-, Object- and Field-Sensitive SDG Generation.

Jürgen Graf

Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

2005

Using Pointcut Delta Analysis to Support Evolution of Aspect-Oriented Software.

Maximilian Störzer, Jürgen Graf

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005