Business
Data61 drops world-class seL4 security team – https://www.innovationaus.com/
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…
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 sacked in a restructure of Data61.
Work will continue on the project through an independent seL4 Foundation established last year but those involved say it will be much harder to attract funding and world-leading talent will be lost.
The changes are part of a restructure of CSIROs digital arm Data61, that will see 70 positions…
-
Noosa News17 hours ago‘Just want to know he’s safe’: Family’s German Shepherd asleep in back of stolen ute
-
Noosa News20 hours agoQueensland Cross-Border Commissioner and former police union boss Ian Leavers found dead at Brisbane home
-
Noosa News23 hours agoDingo hunts shark in shallow waters off K’gari, Queensland
-
Noosa News20 hours agoLogan man Umar Al Enizi cleared of murder after Browns Plains road rage incident in 2021