Thesis Topic Details

Topic ID:
3823
Title:
Capability-oriented programming interface for seL4
Supervisor:
Gernot Heiser
Research Area:
Operating Systems, Security
Associated Staff
Assessor:
Kevin Elphinstone
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Strong operating systems background.
COMP9242 Advanced Operating Systems desirable.
Description:
The formally verified seL4 microkernel is arguably the world's most secure operating system. Capability-based access control is a core enabler of security, as it provides fine-grained control over access rights.

Existing middleware for seL4 provides a programming model similar to traditional (Posix-like) systems, effectively reverting to ambient authority and thus abandoning most of the security advantages of capabilities.

The recently introduced object-capability features in JavaScript, the language widely used for web pages as well as in the embedded space, provides the opportunity for a programming interface to seL4 that avoids the above sacrifice.

This project is to develop and evaluate a JavaScript embedding of the seL4 API, using the "embedded" XS JavaScript virtual machine.
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.