Dr.-Ing. Martin Hecker

	Contact	IPD Prof. Snelting , Building 50.34 Am Fasanengarten 5 76131 Karlsruhe Germany
	Consultation Hours: nach Vereinbarung

Courses

• Lecture: Programming Paradigms , Wintersemester 2016/2017, Beste Pflichtveranstaltung
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2016/2017, Beste Übung
• Laboratory: KASTEL-Lab: Security , Wintersemester 2016/2017
• Laboratory: PSE: Visualisierung von Programmgraphen , Sommersemester 2016
• Lecture: Programming Paradigms , Wintersemester 2014/2015
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2014/2015, Beste Übung
• Lecture: Advanced Object-Orientation , Sommersemester 2014
• Lecture: Programming Paradigms , Wintersemester 2013/2014
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2013/2014, Beste Übung
• Lecture: Advanced Object-Orientation , Sommersemester 2013
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2011/2012, Beste Übung
• Lecture: Software Engineering Practice , Sommersemester 2011
• Lecture: Software Engineering Practice - Smartphoneprogramming in Java , Sommersemester 2011
• Seminary: Software security , Sommersemester 2011
• Lecture: Programming Paradigms , Wintersemester 2010/2011
• Common Excercises: Programming Paradigms - Exercises , Wintersemester 2010/2011
• Seminary: Programmkalküle für Parallelität , Sommersemester 2010
• Übungsschein: Programmieren für Wiederholer , Sommersemester 2010

Publications

2022

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

2020

• 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

2018

• 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

2017

• 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

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

• 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

2014

• 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

2013

• Using JOANA for Information Flow Control in Java Programs - A Practical Guide
  Proceedings of the 6th Working Conference on Programming Languages (ATPS'13) February 2013, pp. 123--138 (ATPS 2013) : J. Graf, M. Hecker, M. Mohr
• Lock-sensitive Interference Analysis for Java: Combining Program Dependence Graphs with Dynamic Pushdown Networks
  January 2013 (ID 2013) : J. Graf, M. Hecker, M. Mohr, B. Nordhoff

2012

• Using JOANA for Information Flow Control in Java Programs - A Practical Guide
  Karlsruhe Reports in Informatics 2012 : J. Graf, M. Hecker, M. Mohr

Projects

• IFC for Mobile Components
• JOANA Framework Open-Source
• PRAKTOMAT
• VALSOFT/Joana

Advised thesis projects

assigned

• Praktomat developer, HiWi-Job

finished

• Data Flow Based Type Inference for JavaScript, masters thesis
• A language for the specification of lifecycles in framework-based applications, bachelor thesis