Dr.-Ing. Martin Hecker

Kontakt

IPD Prof. Snelting

, Gebäude 50.34

Am Fasanengarten 5

76131 Karlsruhe

Deutschland

Sprechzeiten: nach Vereinbarung

On Time-Sensitive Control Dependencies
ACM Trans. Program. Lang. Syst. March 2022, pp. 1--37 : M. Hecker, S. Bischof, G. Snelting

Timing Sensitive Dependency Analysis and its Application to Software Security
September 2020 : M. Hecker
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

Model-Driven Specification and Analysis of Confidentiality in Component-Based Systems
December 2017 : M. E. Kramer, M. Hecker, S. Greiner, K. Bao, K. Yurchenko
Der Grader Praktomat
Automatisierte Bewertung in der Programmierausbildung 2017, pp. 159-172 : J. Breitner, M. Hecker, G. Snelting

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

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

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