Team

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

Prof. 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. Jörn Kohlhammer
Fraunhofer IGD
E-Mail
Projektkoordinator:
- User-centric visualization of security problems

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

Prof. 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
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
Promotionen
Wir begleiten unsere Wissenschaftler*innen auf ihrem Weg zu einer erfolgreichen Promotion.
Bisher haben bei uns promoviert:
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