The project will make seL4 cyber security technology usable in more complex computer systems.
UNSW has partnered with Secure Systems Research Center to implement ground-breaking cyber security technology.
UNSW and Neutrality partner to develop secure computer operating systems that will protect critical humanitarian infrastructure.
Computer researchers at UNSW and NICTA have achieved a breakthrough in software which will deliver significant increases in security and reliability.
Breakthrough work on crash-proof computers, the genetics of toxic algae and space-based radar have won recognition for three UNSW researchers at the NSW Scientist of the Year awards.
UNSW's School of Computer Science and Engineering has appointed Professor Gernot Heiser to the inaugural John Lions Chair in Computer Science.