UNSW and Neutrality partner to develop secure computer operating systems that will protect critical humanitarian infrastructure.
UNSW Sydney has signed a research agreement with Swiss technology company Neutrality to develop cyber network safeguards for organisations whose integrity and trust is essential in protecting people.
For human rights organisations operating in conflict zones, communication and computer systems security is crucial.
“This project aims at protecting communications of humanitarian and other non-government organisations from cyber-attacks, which often result in loss of lives,” said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser.
“UNSW’s Trustworthy Systems group will work with Neutrality in the development of such secure communication, leveraging the mathematically proved security enforcement provided by our seL4 microkernel technology.”
The pioneering seL4 technology provides bullet-proof isolation between running computer programs, thus stopping an affected component from compromising others.
“We will utilise seL4 to isolate operating system services from each other, thus limiting the damage a compromised service can cause,” said Prof. Heiser.
“Specifically, the Trustworthy Systems team will provide the ‘virtual-machine monitor’ layer that enables running mutually-isolated Linux services on seL4.”
The need for this technology was highlighted by the ongoing conflict in Syria, which has seen hospitals attacked numerous times over the past decade – some facilitated by cyber-attacks.
Neutrality Co-CEO and Chief Technology Officer Stevens Le Blond said the organisation was looking forward to collaborating with UNSW to leverage their computer security technological know-how.
“Neutrality tackles highly technical challenges in partnership with strategic academic groups, including UNSW who, through centuries of combined research experience, have laid the foundations for our products,” said Le Blond.
“As the inventor of seL4, the first formally-verified microkernel, the Trustworthy Systems team at UNSW is one of the most impactful academic groups in systems security in the world and a key partner of…