Thesis Topic Details

Topic ID:
3289
Title:
Qubes on seL4
Supervisor:
Ihor Kuz
Research Area:
Operating Systems, Security
Associated Staff
Assessor:
Gernot Heiser
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE
Group Suitable:
No
Industrial:
No
Pre-requisites:
AOS (Comp 9242)
Description:
Qubes is a new operating system architecture for developing secure desktop systems.
It is based on isolation, running each application in a separate virtual machine so that they cannot maliciously interfere with each other.
However, Qubes is based on Xen, which is a relatively heavyweight, and unsecure, hypervisor.
Qubes would be much better if it ran on, and relied on, seL4 for its isolation.
In this project you will implement a version of Qubes on seL4, and evaluate it by running various applications to analyse the security benefits that seL4 provides.
Comments:
See http://www.ertos.nicta.com.au/education/theses.pml for more information.
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.