Operating System Security
Operating systems are in charge of managing hardware and providing it to competing applications. Due to the nature of their job, they are also often a complex piece of software, exposed to malicious input from both user applications and hardware.
In our research, we investigate how operating systems can help dealing with unreliable and/or leaky hardware components. We further look at hardening operating systems against malicious software and hardware and how operating systems can provide additional security for user applications.