DARPA Unveils Hack-Resistant Drone

Posted by timothy on Friday May 23, 2014 @08:43PM from the nothing's-perfect dept.

savuporo (658486) writes with news based on the work of a DARPA project known as High Assurance Cyber Military Systems: "'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 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,' [HACMS program manager Kathleen] Fisher said." This is currently being demoed on a quad-copter platform. It would be interesting to know the CPU architecture, chipset, programming language and the suite of communication protol this thing uses ."

2 of 107 comments (clear)

Min score:

Reason:

Sort:

Re:"mathematically proven" by DNS-and-BIND · 2014-05-24 00:34 · Score: 4, Informative

That's a misquote, like "Play it again, Sam."
"Note that I have not tested this code, I have merely proven it correct."
--Donald Knuth

--
Shutting down free speech with violence isn't fighting fascism. It IS fascism!
Re:"mathematically proven" by VortexCortex · 2014-05-24 01:09 · Score: 3, Informative

"To determine who really rules, all you hafta do is ask: Who am I not allowed to misquote?"
- Voltaire