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.
(Score: 3, Insightful) by cornholed on Thursday May 22 2014, @01:03PM
Loosely translated, they probably started encrypting data transmissions [wired.com].
In 2008 Obama was not in favor of gay marriage and look what they did to him.
(Score: 2, Interesting) by Anonymous Coward on Thursday May 22 2014, @01:41PM
Oh my God. You're right.
The NSA can build wiretaps into your USB ports, but the military contractors couldn't get encryption into drones until now. Jesus fucking Christ. Misplaced priorities and misallocated resources.
(Score: 2) by Sir Garlon on Thursday May 22 2014, @03:51PM
And presumably they're doing because the Iranians captured a US drone [wikipedia.org] by spoofing its GPS feed. They've had a couple of years to reverse-engineer and if I were them, I would be sharing all my tech data with my jihadi pals.
[Sir Garlon] is the marvellest knight that is now living, for he destroyeth many good knights, for he goeth invisible.
(Score: 3, Informative) by Angry Jesus on Thursday May 22 2014, @04:02PM
> If I were them, I would be sharing all my tech data with my jihadi pals.
The jihadis are sunni and Iran is shia. The jihadis won't even acknowledge that shias are muslims (kind of like how extremist born-again christians deny that catholics are christian, except they are about 100x bigger assholes about it). The chance of Iran co-operating with extremist sunnis is basically nil.
(Score: 0) by Anonymous Coward on Thursday May 22 2014, @08:26PM
On the other hand, Iran is probably signing a deal with Russia for eight nuclear reactors [en.ria.ru]. I wonder what Russia gets in return, besides an alliance with a perpetual thorn in the US' side.
(Score: 2) by Dunbal on Thursday May 22 2014, @09:54PM
Oil and access to the Middle East/India over land through a couple friendly 'stans (and of course Georgia now they've been put in their place).
(Score: 4, Informative) by Angry Jesus on Thursday May 22 2014, @03:54PM
> Loosely translated, they probably started encrypting data transmissions.
When software engineers talk about mathematical proof, they are referring to formal verification [wikipedia.org] which is a very difficult and thus expensive process so it rarely gets done for anything of significant complexity.
(Score: 2) by HiThere on Thursday May 22 2014, @07:59PM
Yes, but even more than that, formal verification is just a proof that the software conforms to the specifications, and says nothing about the hardware.
Javascript is what you use to allow unknown third parties to run software you have no idea about on your computer.
(Score: 0) by Anonymous Coward on Friday May 23 2014, @10:56PM
The problem is, when journalistic sites with low standards, start loosely translating-
"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,"
as
"DARPA Unveils Hack-Proof Drone".
Seriously, aren't we a more tech-savvy community than that? Please folks, let's raise our standards of actually using words related to cyber-security popularly. The NSA has been diseducating the masses for 10 years, and this sort of horseshit is seriously not helping fix the problem.