SoylentNews

AnonTechie writes:

DARPA Unveils Hack-Proof Drone:
The Pentagon's Defense Advance Research Project Agency (DARPA) unveiled a new drone built with secure software that prevents the control and navigation of the aircraft from being hacked. The program, called High Assurance Cyber Military Systems(HACMS), uses software designed to thwart cyber attacks.

It has been underway with DARPA for several years after originating at the University of California, San Diego and the University of Washington, said Kathleen Fischer, HACMS program manager for DARPA. "The software is designed to make sure a hacker cannot take over control of a UAS. The software is mathematically proven to be invulnerable to large classes of attack," Fisher said.

See the HACMS Open Catalog for access to publications and software that comprise the system, much of which is available as open source.