Security DARPA Working on Provably Secure Embedded Software October 1, 2014 007admin Leave a comment DARPA is working on a new kind of software that is provably secure for specific properties.