NICTA's formal code verification technology has scored a place in MIT Technology Review's 2011 TR10, an annual list of what the Review assesses to be the world's ten most important emerging technologies.
NICTA spin-off Open Kernel Labs (OK Labs) has released a version of its microkernel mobile operating system that, it says, will enable devices to run mission-critical applications with guaranteed and mathematically proven security in parallel with the device's normal insecure applications.
Software from Australia's Open Kernel Labs has been deployed in more than one billion mobile handsets.
NICTA spin-off Open Kernel Labs (OK Labs) has announced general availability of its 'One Core' software for Android based phones, claiming it will enable semiconductor suppliers, handset manufacturers and mobile network operators to streamline the development and delivery of low-cost, mass-market Android smartphones.