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. |
||