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.
Summer 2025Summer 2024
Seminar Secure Systems Engineering
Master course, Universität Paderborn
This course offers a unique opportunity for students to understand and experience how scientific research is conducted.
Winter 2023Summer 2023
Designing Code Analyses for Large-scale Software Systems I
Master course, Universität Paderborn
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).
Winter 2022Winter 2021
Designing Code Analyses for Large-scale Software Systems II
Master course, Universität Paderborn
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.
Summer 2022Summer 2021
Thesis Supervision
I have supervised the following Master theses:
OngoingExploring Hybrid Analysis for Android Privacy
Automated Privacy Assessment for Android Applications: A DPV Visualisation Approach
Explaining Privacy-Relevant Program Slices to App Developers
Automatically Generating Data Safety Section Labels for Android Apps
Improving User Experience of Program Slicing wrt Data Privacy
Labeling User-Input Privacy Data in Android Applications
Empirical Evaluation of Forward and Backward Taint Analysis
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 Master seminars:
Seminar Secure Systems Engineering
Winter 2024Mapping Data Privacy Vocabulary to Source Code
Winter 2023Privacy Labels: A boon for users or a bane for developers?
Winter 2023Using Data Privacy Vocabulary in Static Analysis
Summer 2023Machine Learning-Based Identification of Personal Data Sources in Android
Summer 2023Loopholes in Google Play’s Data Safety Section
Winter 2022Studying Pseudonymization Techniques for Data Protection
