Martin Mohr

According to our database, Martin Mohr authored at least 15 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security.

Martin Mohr

PhD thesis, 2022

2020

Hybrid taint analysis for Java EE.

Florian D. Loch, Martin Johns, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2018

Low-deterministic security for low-nondeterministic programs.

Simon Bischof, Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

J. Comput. Secur., 2018

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.

Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

2017

Modular Verification of Information Flow Security in Component-Based Systems.

Simon Greiner, Martin Mohr, Bernhard Beckert

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Sicherheitsanalyse mit JOANA.

Juergen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Sicherheit 2016: Sicherheit, 2016

Tool Demonstration: JOANA.

Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

On Improvements of Low-Deterministic Security.

Joachim Breitner, Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

2015

A Hybrid Approach for Proving Noninterference of Java Programs.

Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr

IACR Cryptol. ePrint Arch., 2015

SHRIFT System-Wide HybRid Information Flow Tracking.

Enrico Lovat, Alexander Fromm, Martin Mohr, Alexander Pretschner

Proceedings of the ICT Systems Security and Privacy Protection, 2015

JoDroid: Adding Android Support to a Static Information Flow Control Tool.

Martin Mohr, Jürgen Graf, Martin Hecker

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014

Checking probabilistic noninterference using JOANA.

Gregor Snelting, Dennis Giffhorn, Jürgen Graf, Christian Hammer, Martin Hecker, Martin Mohr, Daniel Wasserrab

it Inf. Technol., 2014

2013

Using JOANA for Information Flow Control in Java Programs - A Practical Guide.

Jürgen Graf, Martin Hecker, Martin Mohr

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

An extended finite element based model approach for permanent magnet synchronous machines including rotor eccentricity.

Martin Mohr, Oszkar Bíró, Andrej Stermecki, Franz Diwoky

Proceedings of the IECON 2013, 2013

2007

"sail: lab" - A novel Package for Sailing Simulation, Scientific Visualization and E-Learning.

Ferdinand Bünger, S. Busch, Ingenuin Gasser, Silke Günzel, Andreas Hebbel-Seeger, Martin Mohr

Int. J. Comput. Sci. Sport, 2007