Topic ID: |
3017 | |
Title: |
Secure Web Server on SeL4 | |
Supervisor: |
Kevin Elphinstone | |
Research Area: |
Operating Systems | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Ihor Kuz | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
-- | |
Description: |
Building a secure web server based on virtualising trusted and untrusted linux instances on the seL4 kernel. | |
Comments: |
-- | |
| Past Student Reports | ||
| Robert SISON in s2, 2009 Secure Web Server on SeL4 |
||
Download report from the CSE Thesis Report Library NOTE: only current CSE students can login to view and select reports to download. | ||