Open Theses

Non-exhaustive list of current, open topics. I try to keep these up to date. Crossed out topics are no longer available. If you are interested, please follow the process explained on our website.

MA: Master’s Thesis
BA: Bachelor’s Thesis
GR: Guided Research
IDP: Interdisciplinary Project

Topics

• Generating Safety Proofs for eBPF in LLVM. BA, MA, GR, IDP.
• Performance and Microarchitectural Evaluation of the CHERI Architecture. MA, BA, GR.
• Development of a Binary Translator from AArch64 to a Custom IR. MA, BA, GR.