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
  David POLLACK in s2, 2013
Secure Browser OS
 

Download report from the CSE Thesis Report Library

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