Defense Tech writes:
“The Pentagon’s research arm 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, or HACMS, uses software designed to thwart cyber attacks. It has been underway with the Defense Advance Research Project Agency for several years after originating at the University of California, San Diego and the University of Washington, said Kathleen Fisher, 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.”
UW CSE professor (and UCSD Ph.D. alum) Yoshi Kohno and UCSD CSE professor (and UW CSE Ph.D. alum) Stefan Savage were the PIs.
Read more here.