Teaching Assistance

• 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
3) Explaining Privacy-Relevant Program Slices to App Developers
4) Automatically Generating Data Safety Section Labels for Android Apps
5) Improving User Experience of Program Slicing wrt Data Privacy
6) Labeling User-Input Privacy Data in Android Applications
7) Empirical Evaluation of Forward and Backward Taint Analysis
8) Qualitative Study of Data Flow Analysis Frameworks: IFDS, IDE and VASCO

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 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