UNSW Collaboration to Fortify Systems and Prevent Hacking.
UNSW has partnered with Secure Systems Research Center to implement ground-breaking cyber security technology.
Published on the 22 Feb 2022
Gernot
UNSW has partnered with Secure Systems Research Center to implement ground-breaking cyber security technology.
“This collaborative effort between UNSW and SSRC will aim to extend the formally verified seL4 microkernel to support tight integration of virtualised systems,” said UNSW Trustworthy Systems leader and John Lions Chair, Scientia Professor Gernot Heiser.
Read more:
https://www.unsw.edu.au/news/2022/02/unsw-collaboration-to-fortify-systems-and-prevent-hacking
https://www.itnews.com.au/news/australian-developed-secure-microkernel-takes-to-the-skies-575917