Your smartphone’s Wi-Fi connections are fast and reliable thanks to the work of Australian astronomers in the 1990s.
Today, your phone is also being protected from cyberattacks by Australian software that works within the kernel of the phone’s operating system to protect it from hacking and software faults. The kernel is the most fundamental part of an operating system. It acts between the hardware and the applications.
Now Australian researchers are working to secure America’s growing fleets of autonomous machines, with ‘microkernel’ software known as seL4.
The new software is built on the work of researchers at the University of New South Wales and National ICT Australia (now CSIRO’s Data61 Group).