The British government will back UNSW Sydney researchers to advance their world-leading cyber security technology, which protects critical computer systems from cyber attacks.
The United Kingdom’s National Cyber Security Centre (NCSC) will fund UNSW Engineering’s Trustworthy Systems research group to boost development of its seL4 microkernel technology - the world's most advanced cybersecurity technology.
Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, said the NCSC has been evaluating seL4 for some time now, and are working with their defence industry partners to deploy it in real-world computer systems.
Besides being used in many civilian applications, seL4 is already in use by the UK government and in other countries,” Prof. Heiser said.
“NCSC is funding us to accelerate the ability to apply and deploy seL4 to more complex IT systems, in addition to the embedded devices we've been targeting to date.”
Trustworthy Systems’ pioneering seL4 technology, when built into the core of a computer’s operating system, provides bullet-proof isolation between computer programs, thus stopping an affected component from compromising others.
Scientia Professor Gernot Heiser leads the Trustworthy Systems team that invented the seL4 microkernel technology. Photo: UNSW Sydney
In another show of faith in the technology, NCSC also joined the sel4 Foundation this year, which was established by Trustworthy Systems in 2020 to direct and coordinate the standardised development of seL4 open-source technologies. Prof. Heiser is the Chair of the seL4 Foundation.
