Catch up on stories from the past week (and beyond) at the Slashdot story archive


Forgot your password?
Security Software The Military Transportation United States Technology

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 ."
This discussion has been archived. No new comments can be posted.

DARPA Unveils Hack-Resistant Drone

Comments Filter:
  • Seriously people? (Score:4, Interesting)

    by Typical Slashdotter ( 2848579 ) on Saturday May 24, 2014 @01:49PM (#47083591)

    I admit that the article doesn't go into any technical details, but the number of comments here that are completely ignorant of what formal verification [] is and reject that it is even possible is...disturbing. (See CompCert [] for a real-world example of this practice.) Since the article was so bad, I don't know what the team actually did, but "mathematically proven to be invulnerable to large classes of attack" is exactly the sort of prudent statement I would expect from someone who has done good work making a hardened system.

Outside of a dog, a book is man's best friend. Inside of a dog, it is too dark to read.