Teaching
| Term | Courses |
|---|---|
| Winter 2022/23 | Lecturer for Project Management and Project Specification, and Instructor of Project Management Workshop in Software Engineering Project |
| Winter 2021/22 | Lecturer for Project Management and Project Specification, and Instructor of Project Management Workshop in Software Engineering Project |
| Topic instructor for Go Unsafe Toolkit in Software Development Tools | |
| Winter 2020/21 | Lecturer for Project Management and Project Specification, and Instructor of Project Management Workshop in Software Engineering Project |
| Sommer 2020 | Co-supervisor with Lars Baumgärtner for the Studienarbeit Language Independent Crypto-Misuse Analysis |
| Winter 2019/20 | Lecturer for Project Management and Project Specification, and Instructor of Project Management Workshop in Software Engineering Project |
| Advisor for the team TURLS in Software Engineering Project | |
| Winter 2018/19 | Lecturer for Project Management and Project Specification, and Instructor of Project Management Workshop in Software Engineering Project |
| Advisor for the topics Discussion on the Usability of Stanford Javascript Crypto Library and Discussion on the Usability of Tink in Foundations of Static Analysis | |
| Summer 2018 | Advisor for the topics Parameter-Outlier Detection and Cryptographic-misuses caused by Parameters in Foundations of Static Analyses |
Supervised Theses
As a researcher at Technische Universität Darmstadt, I (co-)supervised 15 bachelor and master theses. Of these, 5 theses (📄) contributed to publications.
- Hyang Gi Jan, bachelor thesis, Code Transformation for Safety: Leveraging Generics to Refactor Unsafe Package Usages in Go, 2023, Technische Universität Darmstadt.
- Jonas Hühne, bachelor thesis, Optimisation of Low-Density Parity-Check Codes for Quantum Key Distribution Post-Processing , collaborative supervision with Maximillian Tippmann and Michael Schlichtig as part of the SFB CROSSING , 2023, Technische Universität Darmstadt.
- Tim Schumacher, bachelor thesis, Comparison of Information Reconciliation Protocol Cascade to LDPC in Quantum Key Distribution , collaborative supervision with Maximillian Tippmann and Michael Schlichtig as part of the SFB CROSSING , 2023, Technische Universität Darmstadt.
- 📄 Marvin Vogel, bachelor thesis, Extending CogniCrypt_SAST to detect and understand subsequent errors for crypto misuses in the wild, co-supervision with Michael Schlichtig, 2022, Universität Paderborn, the work contributed to our SANER paper .
- 📄 Niklas Doppelstein, master thesis, CamBench_Cap - Creating a benchmark to test analysis capabilities of Java cryptographic API misuse detectors, co-supervision with Michael Schlichtig, 2022, Universität Paderborn, the work contributed to our benchmark suite CamBench .
- 📄 Lukas Winter, bachelor thesis, Improved Presentation of Subsequent Errors in Analysis Results of CogniCryptSAST , co-supervision with Michael Schlichtig, 2022, Technische Universität Darmstadt, the work contributed to our SANER paper .
- Jendrik Seip, master thesis, Error Correction and Key Post-processing for Quantum Key Distribution, 🇩🇪 Fehlerkorrektur und Schlüsselaufbereitung für den Quantenschlüsselaustausch , collaborative supervision with Maximillian Tippmann as part of the SFB CROSSING , 2021, Technische Universität Darmstadt.
- 📄 Johannes Lauinger, master thesis, Identification and Analysis of unsafe.Pointer Usage Patterns in Open-Source Go Code , co-supervision with Lars Baumgärtner, 2020, Technische Universität Darmstadt, the work contributed to our TrustCom paper .
- Rabea Sehar, master thesis, Inferring Set of Rules for Java Iterator Application Programming Interface , 2020, Technische Universität Darmstadt.
- Florian Weinacker, bachelor thesis, Automated Usage Rule Derivation from Crypto-API Source Code , 2020, Technische Universität Darmstadt.
- Parisa Rashidirad, master thesis, Machine Learning on Code Using a Dataset of Parametric Crypto Misuses , 2020, Technische Universität Darmstadt.
- Jonathan Speth, bachelor thesis, How secure are business applications? An in-depth study on the security of business applications , 2020, Technische Universität Darmstadt.
- 📄 Anam Dodhy, master thesis, Benchmarking of API-misuse Detectors for Parametric Cryptographic API-misuses , 2019, Technische Universität Darmstadt, the work contributed to our MSR paper .
- Mohsen Fasihi Yazdi, master thesis, Study on The Security Level of “Security Stack Exchange”: How Trustable Are Code Snippets on This Platform , 2018, Technische Universität Darmstadt.
- Vidyashree Nanjunde Gowda, master thesis, Benchmarking Static Misuse or Bug Detectors Using Software Vulnerabilities , co-supervision with Sven Amann, 2018, Technische Universität Darmstadt.