Scientists Developed First Hacker Proof Software SeL4

A team of Scientists, in the last week of January 2011, led by Australia’s ICT research Centre of Excellence’s spinout company,Open Kernel Labs (OK Labs), developed world’s first hacker-proof software named SeL4. The SeL4 microkernel is a small operating system kernel which regulates access to the hardware of a computer. The unique feature of SeL4 is to differentiate trusted software from the untrusted one which enables it to protect critical services from a failure or a malicious attack. SeL4 will make sure that trusted financial transaction software from secure sources such as stock exchanges or banks alongside untrusted software like games download from the Internet could operate securely on the mobile phone of any customer. SeL4 could also provide safety to defence data. Moreover it will be helpful in protecting life–supporting functions of a medical device like pacemaker from hacking.

SeL4 microkernel is the only operating system kernel which has been mathematically proven to operate correctly.