Tag: sel4

CSIRO boss explains why seL4 team was dumped

Posted on   |  by Denham Sadler
CSIRO chief executive Dr Larry Marshall has explained why the agency sensationally dumped the team behind the seL4 microkernel, saying he did not believe it was feasible to spin...

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...

China, Singapore line up for dumped CSIRO seL4 team

Posted on   |  by Joseph Brookes
The world-leading Australian research team dumped by the CSIRO’s Data61 last week is in the acquisition sights of a large Chinese company and the Singapore Government’s R&D agency. The...

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....