DARPA Unveils Hack-Resistant Drone 107
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 ."
Re:"mathematically proven" (Score:5, 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
Re:"mathematically proven" (Score:4, Informative)
"To determine who really rules, all you hafta do is ask: Who am I not allowed to misquote?"
- Voltaire