Thesis Topic Details

Topic ID:
3287
Title:
Secure terminal 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:
seL4 is a formally verified microkernel for building secure systems.
A key element of such systems is secure access to terminal I/O (i.e. the screen, keyboard, and mouse), which means that different applications can get user input and output without worrying that other malicious applications (such as a key logger) can interfere.
Nitpicker is a secure display architecture developed at Technical University of Dresden.
In this project implement a version of Nitpicker for seL4, and use it as the basis for building a secure windowed terminal.
Evaluate the resulting system by analysing its functionality, performance, and security.
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.