Using JOANA for Information Flow Control in Java Programs - A Practical Guide. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr (Software Engineering (Workshops), 2013)

Checking probabilistic noninterference using JOANA. - Gregor Snelting; Dennis Giffhorn; Jürgen Graf 001; Christian Hammer 001; Martin Hecker 001; Martin Mohr; Daniel Wasserrab (it Inf. Technol., 2014)

JoDroid: Adding Android Support to a Static Information Flow Control Tool. - Martin Mohr; Jürgen Graf 001; Martin Hecker 001 (Software Engineering (Workshops), 2015)

On Improvements of Low-Deterministic Security. - Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Tool Demonstration: JOANA. - Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (POST, 2016)

Sicherheitsanalyse mit JOANA. - Juergen Graf; Martin Hecker 001; Martin Mohr; Gregor Snelting (Sicherheit, 2016)

Low-deterministic security for low-nondeterministic programs. - Simon Bischof; Joachim Breitner; Jürgen Graf 001; Martin Hecker 001; Martin Mohr; Gregor Snelting (J. Comput. Secur., 2018)

Hybrid taint analysis for Java EE. - Florian D. Loch; Martin Johns; Martin Hecker 001; Martin Mohr; Gregor Snelting (SAC, 2020)

Timing Sensitive Dependency Analysis and its Application to Software Security. - Martin Hecker 001 (2020)

On Time-sensitive Control Dependencies. - Martin Hecker 001; Simon Bischof; Gregor Snelting (ACM Trans. Program. Lang. Syst., 2022)