Team

Dr. Steven Arzt
Coordinator AVSV
Fraunhofer SIT
E-Mail
Projectcoordinator:
- Automatic Vulnerability Scanner for Mobile Applications
- Automatic Vulnerability Verification

Prof. Iryna Gurevych
TU Darmstadt
E-Mail
Project: Code transformers and knowledge graphs for vulnerability detection

Dr. Jens Heider
Fraunhofer SIT
E-Mail
Projectcoordinator:
- Cross-Language Data Flow Detection and Analysis for iOS Binaries (XDaFlowD)

Prof. Jörn Kohlhammer
Fraunhofer IGD
E-Mail
Projectcoordinator:
- User-centric visualization of security problems

Prof. Kristian Kersting
TU Darmstadt
E-Mail
Projectcoordinator:
- Machine 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

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