Design and implementation of hardened hypervisor

The security of systems relies on General-Purpose Operating Systems (GP OS) that are not safe and need extra security mechanisms. The GuardianOS project deals with the cybersecurity of these GP OS: cyber defense both to detect attacks and react accordingly as well as dynamic cyber protection to prevent security breaches. In this project, we tackle the problem of protecting the user despite software suffering from threats. We propose to design a hardened infrastructure referred to as guardian operating system architecture, which includes a language runtime and an hypervisor.

The student will be in charge of developing the thin-hypervisor from xv6, a small operating system maintained by MIT.

The student should have a good background in C and kernel programming.


Gaƫl Thomas, Mathieu Bacou