Tag: Gernot Heiser

Dumped CSIRO team gets funding lifeline from UNSW

Posted on   |  by Joseph Brookes
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...

Data61 drops world-class seL4 security team

Posted on   |  by Joseph Brookes
The world-leading Australian research team that developed the extremely hard to hack seL4 microkernel has been disbanded by the CSIRO, with staff to be moved to AI projects or...

Data61 seL4 gets German partner

Posted on   |  by James Riley
CSIRO’s Data61 has entered a partnership with Munich-based secure hardware developer Hensoldt Cyber to provide an attack-resilient open source operating system for devices. The partnership has been in place...

Aust to lose top security scientist

Posted on   |  by Stuart Kennedy
Gernot Heiser, one of the main brains behind the extremely hard to hack seL4 microkernel, is set to leave Australia for Germany to work in a cyber security startup....