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. |
||