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: