# Active research work at the chair

**IMPORTANT**: Students/Advisors must keep the page up-to-date, i.e., they should add an entry before finalizing the registration process and delete the entry after finalizing their research work.

**Type of research work:**

- BA: BSc thesis
- MA: MSc thesis
- GR: Guided Research
- IDP: Interdisciplinary Project

⚠️**NOTE**: Keep the table sorted based on the end date, i.e., earliest end dates at the top.⚠️

| Student               | Title                                                                                                      | Type | Advisors                               | Start date | End date   |
| --------------------- | ---------------------------------------------------------------------------------------------------------- | ---- | -------------------------------------- | ---------- | ---------- |
| Christian Krinitsin   | Analysis and Verification of Semantic Mistranslation Errors in Emulators                                   | BA   | Theofilos Augoustis, Sebastian Reimers | 12.05.2025 | 12.09.2025 |
| Shrief Hussien        | GDPR Metadata Indexing Optimization                                                                        | MA   | Dimitrios Stavrakakis                  | 31.03.2025 | 30.09.2025 |
| Victor Fritz Trost | Exploration of MESIF protocol for ProtoSLICC                                                                    | BA   | Nicolò Carpentieri, Anatole Lefort | 10.06.2025 | 10.10.2025 |
| Tristan Schwieren     | Automated Formal Verification of SHA-3                                                                     | MA   | Julian Pritzi, Dennis Sprokholt | 15.05.2025 | 17.11.2025 |
| Sandro-Alessio Gierens| Design and Implementation of Secure Hypervisor for Confidential Virtual Machines                           | MA   | Masanori Misono                        | 03.03.2025 | 03.12.2025 |
| Mert Saraç            | Cross-Platform Implementation of a Mobile Coffee Tracking System                                           | MA   | Martin Fink                     | 15.07.2025 | 15.01.2026 |
| Peter Wegmann         | Mapping QEC Codes to Distributed Quantum Architectures                                                     | MA   | Aleksandra Świerkowska, Manos Giortamis | 07.08.2025 | 09.02.2026 |