"Project Will Make sel4 Cyber Security Technology Usable in More Complex Computer Systems"
The British government will provide support to UNSW Sydney researchers in the improvement of their world-leading cybersecurity technology aimed at protecting critical computer systems against cyberattacks. The UK's National Cyber Security Centre (NCSC) will fund UNSW Engineering's Trustworthy Systems research group to accelerate the development of its seL4 microkernel technology, the world's most advanced cybersecurity technology. According to Scientia Professor Gernot Heiser, leader of the Trustworthy Systems team that invented the technology, the NCSC has been evaluating seL4 for some time and is currently collaborating with defense industry partners to deploy it in real-world computer systems. The seL4 technology is already in use by the UK government and other countries, in addition to many civilian applications. When built into the core of a computer's operating system, Trustworthy Systems' pioneering seL4 technology provides bullet-proof isolation between computer programs, preventing an affected component from compromising others. The Trustworthy Systems group is also conducting research in collaboration with the United Arab Emirates and the Swiss technology company Neutrality, among others, to deploy the seL4 microkernel in mobile phones, drones, Internet of Things (IoT) devices, and more. This article continues to discuss the support and continued efforts behind the seL4 microkernel technology.