Tag: UNSW School of Computer Science and Engineering

The research team behind the extremely hard-to-hack microkernel seL4 has received lifeline funding to the end of the year from the University of New South Wales. The team, known...