The Defense Advanced Research Projects Agency (DARPA) awarded a $21,350,604.00 Cost Plus Fixed Fee contract to Galois, Inc., a for-profit subchapter S corporation, to develop the SAFE DOCUMENTS (SAFEDOCS) program. The SAFEDOCS program will research novel verified programming methodologies for building high-assurance parsers for existing electronic data formats, as well as new methodologies for simplifying and reducing these formats to their safe, unambiguous, verification-friendly subsets. This contract is not a set-aside award and the work will be performed in Portland, Oregon. The original DARPA pre-solicitation requested proposals for innovative research into secure processing of untrusted electronic data, with the goal of improving software's ability to recognize and reject invalid or maliciously crafted input while preserving essential functionality of legacy data formats.
Generated 3/23/24, 5:06 PM