Thesis Topic Details
Topic ID: |
3211 | |
Title: |
Secure Browser OS | |
Supervisor: |
Gernot Heiser | |
Research Area: |
Operating Systems | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Kevin Elphinstone | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE SE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
COMP9242 or outstanding result in COMP3231 | |
Description: |
A secure web browser with a minimum trusted computing base has been propagated as a way to protect against browser exploits, for example IBOS. Such an approach is a big improvement over present practice, but is still at the mercy of an underlying OS which isn't trustworthy. . This is changed with the availability of the formally-verified a href="http://ertos.nicta.com.au/research/sel4/">seL4 microkernel, which can present a truly trustworthy basis for a secure browser. This thesis is to design and implement such a secure browser OS on seL4. |
|
Comments: |
-- | |
| 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. |
||