Team

Dr.-Ing. Steven Arzt
Koordinator AVSV
Fraunhofer SIT
E-Mail
Projektkoordinator:
- Automatic Vulnerability Scanner for Mobile Applications
- Automatic Vulnerability Verification
- Enhanced Vulnerability Detection

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

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

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

Prof. Dr. Kristian Kersting
TU Darmstadt
E-Mail
Projektkoordinator:
- Machine Learning for Vulnerability Detection
Projekt: Code transformers and knowledge graphs for vulnerability detection

Prof. Dr.-Ing. Mira Mezini
TU Darmstadt
E-Mail
Projektkoordinatorin:
- Code transformers and knowledge graphs for vulnerability detection
- Cross-Language Library-Aware Security Analysis of Complex Software Systems
- Further development of the CogniCrypt Assistant to ensure the correct use of crypto libraries
- Vulnerability Detection for Hybrid Apps using Generic Analyses

Dr. Philipp Holzinger
Fraunhofer SIT
Projekt: Automatic Vulnerability Verification

Steven Lamarr Reynolds, M. Sc.
Fraunhofer IGD
Projekt: User-centric visualization of security problems

Dr. Marc Miltenberger
Fraunhofer SIT
Projekte: Asset-Driven Vulnerability Analysis with AI (VulnAssetAI), Enhanced Vulnerability Detection

Dr. Krishna Narasimhan
TU Darmstadt
Projekt: Code transformers and knowledge graphs for vulnerability detection

Markus Toran, M.Sc.
Fraunhofer SIT
Projekte: Asset-Driven Vulnerability Analysis with AI (VulnAssetAI), Enhanced Vulnerability Detection

Dipl.-Inf. Jonas Zabel, M.Sc.
Fraunhofer SIT
Projekt: Hybrid Fuzzing for Apps and Web Applications
Promotionen
Wir begleiten unsere Forschenden auf ihrem Weg zu einer erfolgreichen Promotion.
Bisher haben bei uns promoviert:
Marc Miltenberger
TU Darmstadt, promoviert 2025
Improving Static and Dynamic Vulnerability Analysis using Values and Dataflows
Dominik Helm
TU Darmstadt, promoviert 2023
Modular Collaborative Program Analysis
Michael Reif
TU Darmstadt, promoviert 2021
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software
Leo Glanz
TU Darmstadt, promoviert 2020
Automatic Identification and Recovery of Obfuscated Android Apps
Philipp Holzinger
Fraunhofer SIT, promoviert 2019
A systematic analysis and hardening of the Java security architecture
