Martin Hecker

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 6

Top Topics

Probabilistic Approaches

Information Flow Control

Top Venues

Software Engineering (Workshops)

it Inf. Technol.

Publications

Martin Hecker, Simon Bischof, Gregor Snelting
On Time-sensitive Control Dependencies. ACM Trans. Program. Lang. Syst. 44 (1) (2022)
Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting
Hybrid taint analysis for Java EE. SAC (2020)
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)
Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting
Sicherheitsanalyse mit JOANA. Sicherheit (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)