Security is a crucial consideration in technology design. Partnering with CSIRO’s Data61 (then NICTA), UNSW designed the OKL4 microkernel which endows computing devices with an enhanced level of security. Continued research led to the revolutionary seL4 microkernel, the first OS mathematically proven to be free of bugs.
Competitive advantage:
- Security – reduced likelihood of hacking or unauthorised access of an operating system
Impact:
- Highly secure and resilient communications and data acquisition, storage, retention and analysis for government, defence, business, transport systems, emergency and health services
- Economic impact of related companies founded by students and staff involved in the project, including Apkudo, Arista, Breakaway Consulting and Exablaze
Successful applications:
- Apple iOS devices and other personal electronic devices• Real-world military systems, including a Boeing-built optionally-piloted helicopter, an autonomous US Army truck, and a space satellite platform of the US Navy.