DARPA sees automated tools helping streamline software certi

There are tools that can look at file metadata, which contains proof that the software is secure, and automatically verify its safety.

Related Keywords

Jen Judson , Benjamin Bishop , Adaptive Capabilities Office , Automated Rapid Certification Of Software , Kenyon College , Defense Advanced Research Projects Agency , Boston University , Automated Rapid Certification ,