blob: 0173bf9cfdf61a476158349cee4497b80f60b95a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
# 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 |
| --------------------- | ---------------------------------------------------------------------------------------------------------- | ---- | -------------------------------------- | ---------- | ---------- |
| Phillip Assmann | Evaluating Complex Branch Predictors | BA | David Schall | 15.03.2025 | 15.07.2025 |
| Sandro-Alessio Gierens| Design and Implementation of Secure Hypervisor for Confidential Virtual Machines | MA | Masanori Misono | 03.03.2025 | 03.12.2025 |
| Shrief Hussien | GDPR Metadata Indexing Optimization | MA | Dimitrios Stavrakakis | 31.03.2025 | 30.09.2025 |
| Christian Krinitsin | Analysis and Verification of Semantic Mistranslation Errors in Emulators | BA | Theofilos Augoustis, Sebastian Reimers | 12.05.2025 | 12.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 |
|