Teaching

• Secure Software Engineering
  Bachelor Course, Universität Paderborn (Summer 2025, Summer 2024)
  This course offers an introduction to the key areas of secure software engineering: threat modeling, secure design, secure coding, security validation, secure deployment and maintenance.

• Seminar Secure Systems Engineering
  Master Course, Universität Paderborn (Winter 2023, Summer 2023)
  This course offers a unique opportunity for students to understand and experience how scientific research is conducted.

• Designing Code Analyses for Large-scale Software Systems I
  Master Course, Universität Paderborn (Winter 2022, Winter 2021)
  This course covers several concepts in static code analysis: intra-procedural data-flow analysis, call-graph construction algorithms, context-insensitivity, pointer analysis, analysis frameworks (IFDS, IDE, VASCO).

• Designing Code Analyses for Large-scale Software Systems II
  Master Course, Universität Paderborn (Summer 2022, Summer 2021)
  This course covers several novel, advanced concepts in static code analysis: sparse IFDS, pushdown systems, demand-driven program analysis, hybrid analysis and improved user experience.

Thesis Supervision

I have supervised the following Master theses:

1) Exploring Hybrid Analysis for Android Privacy (ongoing)
2) Automated Privacy Assessment for Android Applications: A DPV Visualisation Approach (March 2025)
3) Explaining Privacy-Relevant Program Slices to App Developers (Jan 2025)
4) Automatically Generating Data Safety Section Labels for Android Apps (Jan 2025)
5) Improving User Experience of Program Slicing wrt Data Privacy (Dec 2023)
6) Labeling User-Input Privacy Data in Android Applications (July 2023)
7) Empirical Evaluation of Forward and Backward Taint Analysis (June 2023)
8) Qualitative Study of Data Flow Analysis Frameworks: IFDS, IDE and VASCO (Jan 2023)

For students seeking a thesis topic, organizational information on my webpage and on the SSE webpage might interest you.

Seminar Supervision

Additionally, I have supervised the following Master seminars:

• Seminar Secure Systems Engineering (Winter 2024) – Mapping Data Privacy Vocabulary to Source Code
• Seminar Secure Systems Engineering (Winter 2023) – Privacy Labels: A boon for users or a bane for developers?
• Seminar Secure Systems Engineering (Winter 2023) – Using Data Privacy Vocabulary in Static Analysis
• Seminar Secure Systems Engineering (Summer 2023) – Machine Learning-Based Identification of Personal Data Sources in Android
• Seminar Secure Systems Engineering (Summer 2023) – Loopholes in Google Play’s Data Safety Section
• Seminar Secure Systems Engineering (Winter 2022) – Studying Pseudonymization Techniques for Data Protection
• Seminar Secure Systems Engineering (Summer 2022) – A Survey of Compliance Standards
• Seminar Secure Systems Engineering (Winter 2021) – A Survey of Parametric Static Analysis