[1] The Unmanned aerial vehicles (UAVs) using NICTA’s secure seL4 kernel – part of a DARPA High-Assurance Cyber Military Systems (HACMS) program – have passed a penetration testing.
[2] NICTA has now completed phase two of the project and will release a Boeing video of the Unmanned Little Bird running seL4 later this year.
[3] The project aims to detect and deter cyber-attacks across a wide range of automated systems, including military systems, smartphones and medical devices, among others.
[Source]Australian Information Technology News – Secure drones a step closer following NICTA tests