Martin Mohr

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 11

Top Topics

Information Flow

Benchmark Suite

Top Venues

Software Engineering (Workshops)

Publications

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)
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. NordSec (2018)
Simon Greiner, Martin Mohr, Bernhard Beckert
Modular Verification of Information Flow Security in Component-Based Systems. SEFM (2017)
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)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Martin Mohr, Jürgen Graf, Martin Hecker
JoDroid: Adding Android Support to a Static Information Flow Control Tool. Software Engineering (Workshops) (2015)
Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner
SHRIFT System-Wide HybRid Information Flow Tracking. SEC (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (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)
Martin Mohr, Oszkar Bíró, Andrej Stermecki, Franz Diwoky
An extended finite element based model approach for permanent magnet synchronous machines including rotor eccentricity. IECON (2013)
Jürgen Graf, Martin Hecker, Martin Mohr
Using JOANA for Information Flow Control in Java Programs - A Practical Guide. Software Engineering (Workshops) (2013)