Little Bird

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...