Dr.-Ing. Martin Mohr

Contact

IPD Prof. Snelting

Room 022, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Hybrid Taint Analysis for Java EE
Proceedings of the 35th Annual ACM Symposium on Applied Computing 2020, pp. 1716--1725 : F. D. Loch, M. Johns, M. Hecker, M. Mohr, G. Snelting

Low-Deterministic Security For Low-Nondeterministic Programs
Journal of Computer Security 2018, pp. 335--366 : S. Bischof, J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting
A Uniform Information-Flow Security Benchmark Suite For Source Code and Bytecode
Secure IT Systems - 23nd Nordic Conference, NordSec 2018, Oslo, Norway, Proceedings 2018 : T. Hamann, M. Herda, H. Mantel, M. Mohr, D. Schneider, M. Tasch

Modular Verification of Information Flow Security in Component-Based Systems
15th International Conference on Software Engineering and Formal Methods (SEFM 2017) September 2017, pp. 300--315 : S. Greiner, M. Mohr, B. Beckert

On Improvements Of Low-Deterministic Security
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016, pp. 68--88 (POST 16) : J. Breitner, J. Graf, M. Hecker, M. Mohr, G. Snelting
Sicherheitsanalyse mit JOANA
Sicherheit 2016: Sicherheit, Schutz und Zuverl{\"A}ssigkeit, Beitr{\"A}ge der 8. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft f{\"U}r Informatik e.V. (GI), 5.-7. April 2016, Bonn 2016, pp. 11--22 : J. Graf, M. Hecker, M. Mohr, G. Snelting
Tool Demonstration: JOANA
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings 2016, pp. 89--93 (POST 16) : J. Graf, M. Hecker, M. Mohr, G. Snelting

A Hybrid Approach for Proving Noninterference of Java Programs
Computer Security Foundations Symposium (CSF), 2015 IEEE 28th July 2015, pp. 305-319 (CSF 2015) : R. Küsters, T. Truderung, B. Beckert, D. Bruns, M. Kirsten, M. Mohr
Checking Applications using Security APIs with JOANA
July 2015 (ASA 2015) : J. Graf, M. Hecker, M. Mohr, G. Snelting
JoDroid: Adding Android Support to a Static Information Flow Control Tool
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. M{\"A}rz 2015. 2015, pp. 140--145 : M. Mohr, J. Graf, M. Hecker
SHRIFT System-Wide HybRid Information Flow Tracking
ICT Systems Security and Privacy Protection 2015, pp. 371-385 (IFIPSec 2015) : E. Lovat, A. Fromm, M. Mohr, A. Pretschner

Checking Probabilistic Noninterference Using JOANA
it - Information Technology November 2014, pp. 280--287 : G. Snelting, D. Giffhorn, J. Graf, C. Hammer, M. Hecker, M. Mohr, D. Wasserrab