Tag: Trustworthy Systems

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