
DARPA aims to make defense firms ‘much, much harder’ to hack with ‘formal methods’ push
Right now, DARPA's Kathleen Fisher said, much of the defense industrial base is "choosing to leave the doors open, leave the windows up and not use the locks" in cyberspace.