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
| Student | Title | Type | Advisors | Start date | End date |
|---|---|---|---|---|---|
| Lan Ouyang | Securing Databases Data Structures: Exploring CHERI for Memory Safety and Bug Detection | MA | Martin Fink, Ilya Meignan--Masson | 07.08.2024 | 07.02.2025 |
| Konstantin Garbers | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA | Martin Fink | 29.10.2024 | 28.02.2025 |
| Martin Lindbuechl | Towards efficient memory and storage subsystems for unikernel based cloud databases | BA | Ilya Meignan--Masson | 18.11.2024 | 18.03.2025 |
| Yude Jiang | Microarchitectural Analysis of CHERI on the Morello Platform | BA | Martin Fink, Masanori Misono | 28.11.2024 | 28.03.2025 |
| Raphael Dichler | Evaluating MTE for Hardware-Assisted Memory Safety in Databases | BA | Martin Fink, Ilya Meignan--Masson | 28.11.2024 | 28.03.2025 |
| Michael Hackl | CloakVM: A Library OS for Confidential Nested Virtualization | MA | Patrick Sabanic, Dimitrios Stavrakakis | 01.10.2024 | 01.04.2025 |
| Berkay Eren Ürün | Trustworthy On-Device LLM Inference | MA | Teofil Bodea | 15.11.2024 | 15.05.2025 |
| Dominik Kreutzer | vDPDK: A Para-Virtualized DPDK Device Model for vMux | MA | Peter Okelmann, Masanori Misono | 18.11.2024 | 19.05.2025 |
| Wonkeun Choi (Anders) | AirLift: Automatically Generating a Binary Lifter from the Arm Machine-Readable Architecture Specification | MA | Martin Fink | 29.11.2024 | 30.05.2025 |
| Christian Karidas | Tamperproof Logging System for GDPR-compliant Key-Value Stores | BA | Dimitrios Stavrakakis | 15.01.2025 | 16.06.2025 |