Team
Dr. Steven Arzt
Coordinator AVSV
Fraunhofer SIT
E-Mail
Projectcoordinator:
- Automatic Vulnerability Scanner for Mobile Applications
- Automatic Vulnerability Verification
Prof. Jörn Kohlhammer
Fraunhofer IGD
E-Mail
Projectcoordinator:
- User-centric visualization of security problems
Prof. Kristian Kersting
TU Darmstadt
E-Mail
Projectcoordinator:
- Learning for Vulnerability Detection
Project: Code transformers and knowledge graphs for vulnerability detection
Prof. Mira Mezini
TU Darmstadt
E-Mail
Projectcoordinator:
- Vulnerability Detection for Hybrid Apps using Generic Analyses
- Further development of the CogniCrypt Assistant to ensure the correct use of crypto libraries
- Code transformers and knowledge graphs for vulnerability detection
Prof. Iryna Gurevych
TU Darmstadt
Project: Code transformers and knowledge graphs for vulnerability detection
Dr. Philipp Holzinger
Fraunhofer SIT
Project: Automatic Vulnerability Verification
Steven Lamarr Reynolds, M. Sc.
Fraunhofer IGD
Project: User-centric visualization of security problems
Dr. Krishna Narasimhan
TU Darmstadt
Project: Code transformers and knowledge graphs for vulnerability detection
Sebald Ziegler, M. Sc.
Fraunhofer SIT
Project: Automatic Vulnerability Verification
PhD Theses
We accompany our researchers on their way to a successful doctorate.
So far, the following have completed their doctorates with us:
Dominik Helm
TU Darmstadt, doctorates 2023
Modular Collaborative Program Analysis
Michael Reif
TU Darmstadt, doctorates 2021
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software
Leo Glanz
TU Darmstadt, doctorates 2020
Automatic Identification and Recovery of Obfuscated Android Apps
Philipp Holzinger
Fraunhofer SIT, doctorates 2019
A systematic analysis and hardening of the Java security architecture
Doctorates
Here is an overview of the scientists who have received their PhDs from our team so far.