2016 
J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting:
On Improvements Of LowDeterministic Security.
POST 16 
J. Graf, M. Hecker, M. Mohr, G. Snelting:
Tool Demonstration: JOANA.
POST 16 
J. Graf, M. Hecker, M. Mohr, G. Snelting:
Sicherheitsanalyse mit JOANA.
Sicherheit 2016 
2015 
J. Graf, M. Hecker, M. Mohr, G. Snelting:
Checking Applications using Security APIs with JOANA.
ASA 2015 
G. Snelting:
Understanding Probabilistic Software Leaks.
SCP 2015 
D. Giffhorn, G. Snelting:
A new algorithm for lowdeterministic security.
IJIS 
R. Küsters, T. Truderung, B. Beckert, D. Bruns, M. Kirsten, M. Mohr:
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF 2015 
M. Mohr, J. Graf, M. Hecker:
JoDroid: Adding Android Support to a Static Information Flow Control Tool.

E. Lovat, A. Fromm, M. Mohr, A. Pretschner:
SHRIFT SystemWide HybRid Information Flow Tracking.
IFIPSec 2015 
2014 
G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab:
Checking Probabilistic Noninterference Using JOANA.
IT 2014 
A. Lochbihler:
Making the Java Memory Model Safe.
TOPLAS 2014 
R. Küsters, E. Scapin, T. Truderung, J. Graf:
Extending and Applying a Framework for the Cryptographic Verification of Java Programs.
POST 14 
R. Küsters, E. Scapin, T. Truderung, J. Graf:
(accompanying technical report) Extending and Applying a Framework for the Cryptographic Verification of Java Programs..

2013 
R. Küsters, T. Truderung, B. Beckert, D. Bruns, J. Graf, C. Scheben:
A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs.
GRSRD 2013 
J. Graf, M. Hecker, M. Mohr:
Using JOANA for Information Flow Control in Java Programs  A Practical Guide.
ATPS 2013 
J. Graf, M. Hecker, M. Mohr, B. Nordhoff:
Locksensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks.
ID 2013 
A. Lochbihler:
Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter Compiler.
LNI  Ausgezeichnete Informatikdissertationen 2012 
2012 
R. Küsters, T. Truderung, J. Graf:
A Framework for the Cryptographic Verification of Javalike Programs.
CSF 2012 
D. Giffhorn, G. Snelting:
Probabilistic Noninterference Based on Program Dependence Graphs.

A. Lochbihler:
Java and the Java Memory Model  a Unified, MachineChecked Formalisation.
ESOP 2012 
R. Küsters, T. Truderung, J. Graf:
(accompanying technical report) A Framework for the Cryptographic Verification of Javalike Programs.

A. Flexeder, M. Müllerolm, M. Petter, H. Seidl:
Fast interprocedural linear twovariable equalities.

D. Giffhorn:
Slicing of Concurrent Programs and its Application to Information Flow Control.

J. Graf, M. Hecker, M. Mohr:
Using JOANA for Information Flow Control in Java Programs  A Practical Guide.

2011 
D. Giffhorn:
Advanced chopping of sequential and concurrent programs.
SQJ 
T. Gawlitza, P. Lammich, M. MüllerOlm, H. Seidl, A. Wenner:
JoinLockSensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.

M. D. Schwarz, H. Seidl, V. Vojdani, P. Lammich, M. MüllerOlm:
Static analysis of interruptdriven programs synchronized via the priority ceiling protocol.

2010 
D. Wasserrab:
From Formal Semantics to Verified Slicing  A Modular Framework with
Applications in Language Based Security.
Ph.D. thesis 
M. Taghdiri, G. Snelting, C. Sinz:
Information Flow Analysis via Path Condition Refinement.
FAST 2010 
C. Hammer:
Experiences with PDGbased IFC.
ESSoS'10 
2009 
C. Hammer, G. Snelting:
FlowSensitive, ContextSensitive, and Objectsensitive Information
Flow Control Based on Program Dependence Graphs.
IJIS 
C. Hammer:
Information Flow Control for Java  A Comprehensive Approach based
on Path Conditions in Dependence Graphs.
Ph.D. thesis 
D. Wasserrab, D. Lohner, G. Snelting:
On PDGBased Noninterference and its Modular Proof.
PLAS 2009 
P. Lammich, M. MüllerOlm, A. Wenner:
Predecessor Sets of Dynamic Pushdown Networks with TreeRegular Constraints.

2008 
C. Hammer, R. Schaade, G. Snelting:
Static Path Conditions for Java.
PLAS 2008 
P. Lammich, M. MüllerOlm:
Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.

2007 
M. MüllerOlm, H. Seidl:
Analysis of modular arithmetic.

P. Lammich, M. MüllerOlm:
Precise FixpointBased Analysis of Programs with ThreadCreation and Procedures.

2006 
C. Hammer, J. Krinke, G. Snelting:
Information Flow Control for Java Based on Path Conditions in Dependence
Graphs.
ISSSE 2006 
M. MüllerOlm:
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science).

2005 
A. Bouajjani, M. MüllerOlm, T. Touili:
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

2004 
M. MüllerOlm:
Precise interprocedural dependence analysis of parallel programs.

M. MüllerOlm, H. Seidl:
Precise interprocedural analysis through linear algebra.

2001 
M. MüllerOlm, H. Seidl:
On optimal slicing of parallel programs.
