HOME | DEUTSCH | IMPRESSUM | KIT

Dipl.-Math. Dipl.-Inform. Martin Mohr

photo

Contact

Email:

[ PGP ]

IPD Prof. Snelting

Room 022, Building 50.34

Am Fasanengarten 5

76131 Karlsruhe

Germany

Courses

Publications

2020

  • 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

2018

2017

2016

  • 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

2015

2014

2013

2012

Projects

Advised thesis projects

running

finished