Secure drones a step closer following NICTA tests [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] NIC...