Scientists from the Australia’s ICT Research Centre of Excellence’s spinout company — Open Kernel Labs claims to have developed the world’s first hack-free software which can protect systems from failure or malicious attacks.
They developed a kernel, seL4 microkernel cum OS that regulates access to a computer’s hardware.
The scientist also claims that its a unique feature, mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack.
They developed a kernel, seL4 microkernel cum OS that regulates access to a computer’s hardware.
The scientist also claims that its a unique feature, mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack.











