NICTA Wins Race to Secure L4

Australian research organisation NICTA claims to be the world’s first to develop a formal machine-checked proof of a general-purpose operating system kernel, the Secure Embedded L4 (seL4). The organisation “beat” several other larger and better funded organisations to claim this achievement, according to a spokesperson.


  1. 2009-08-14 10:59 pm
    • 2009-08-18 6:29 am
  2. 2009-08-18 7:07 am