Slashdot Mirror

← Back to Stories (view on slashdot.org)

DARPA Unveils Hack-Resistant Drone

Posted by timothy on 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 ."

1 of 107 comments (clear)

  1. Re:"mathematically proven" by arglebargle_xiv · · Score: 4, Funny

    Beware of bugs in the above code; I have only proved it correct, not tried it -- Donald Knuth