TUM Logo

Towards Identifying and Mitigating Temporal Safety Weaknesses in the Linux Kernel

Towards Identifying and Mitigating Temporal Safety Weaknesses in the Linux Kernel

Supervisor(s): Marius Momeu
Status: inprogress
Topic: Linux stuff
Author: Bogdan-Petru Voicu
Submission: 2024-08-29
Type of Thesis: Bachelorthesis

Description