Australian scientists develop hack-free software
A team of scientists led by Australia’s ICT Research Centre of Excellence’s spinout company Open Kernel Labs (OK Labs) have developed what they claim is the world’s first hack-free software which can protect systems from failure or malicious attacks.
The ‘seL4’ microkernel is a small operating system kernel which regulates access to a computer’s hardware. Its unique feature is that it has been mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack.
In future applications, seL4 could ensure that trusted financial transaction software from secure sources like banks or stock exchanges can operate securely on a customer’s mobile phone or computer alongside untrusted software, such as games downloaded from the Internet.