Jürgen Graf

Affiliations:
  • Karlsruhe Institute of Technology, Germany


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Low-deterministic security for low-nondeterministic programs.
J. Comput. Secur., 2018

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

Sicherheitsanalyse mit JOANA.
Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015
Reliability of platinum electrodes and heating elements on SiO<sub>2</sub> insulation layers and membranes.
Microelectron. Reliab., 2015

JoDroid: Adding Android Support to a Static Information Flow Control Tool.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014
Checking probabilistic noninterference using JOANA.
it Inf. Technol., 2014

Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
IACR Cryptol. ePrint Arch., 2014

2013
Using JOANA for Information Flow Control in Java Programs - A Practical Guide.
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.
IACR Cryptol. ePrint Arch., 2012

2010
Speeding Up Context-, Object- and Field-Sensitive SDG Generation.
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.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005


  Loading...