CSE Thesis Topic Details
Thesis Topic Details
|
|
Topic ID: |
3017 |
Title: |
Secure Web Server on SeL4 |
Supervisor: |
Kevin Elphinstone |
Research Area: |
Operating Systems |
Assessor: |
Ihor Kuz |
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: |
|
|
|
|