Thesis Topic Details

Topic ID:
3780
Title:
seL4 based IoT device
Supervisor:
Ihor Kuz
Research Area:
Operating Systems, Embedded Systems, Security
Associated Staff
Assessor:
Kevin Elphinstone
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE
Group Suitable:
No
Industrial:
No
Pre-requisites:
Advance Operating Systems: Comp 9242
Description:
Internet of Things (IoT) devices are everywhere, and notoriously insecure. This projects investigates using the formally verified seL4 microkernel as the basis for building secure IoT devices. It will require a thorough understanding of seL4 and microkernel-based systems on the one hand, and the security issues faced by IoT devices on the other. The goal is to design, develop and evaluate an IoT device framework that is based on a demonstrably secure software architecture that takes advantage of the proven isolation properties of 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.