2016-09-26
Quanta Magazine
DARPA prevented hackers from taking control of an unmanned drone using “formal methods”, a technique that can verify whether programs are error-free
Kevin Hartnett / Quanta Magazine : Tweets: @k8em0 , @kennwhite and @darpa Tweets: Katie Moussouris / @k8em0 : http://www.quantamagazine.org/ ... “We're not claiming we're going to prove an entire sys...
2016-09-25
Quanta Magazine
DARPA prevented hackers from taking control of an unmanned drone using “formal methods”, a technique that can verify whether programs are error-free
In the summer of 2015 a team of hackers attempted to take control of an unmanned military helicopter known as Little Bird. Tweets: @k8em0 , @kennwhite and @darpa Tweets: Katie Moussouris / @k8em0 : ht...
Loading articles...