Scientists have developed what they claim to be the world’s first hack-free software which can protect systems from failures or malicious attacks.
The ‘seL4’ microkernel has been developed by a team led by Australia’s ICT Research Centre of Excellence’s spinout company Open Kernel Labs (OK Labs).
It is a small operating system kernel which regulates access to a computer’s hardware.
It’s unique feature is that it has been mathematically proven to operate correctly, enabling it to separate trusted from un-trusted software, protecting critical services from a failure or a malicious attack, according to the scientists.
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 alongside “un-trusted” software, such as games downloaded from the Internet, according to it’s developer.