Galois is Conducting Safe Document Research for DARPA

Galois Inc., Portland, Oregon, was awarded a $16,479,920 cost-plus-fixed-fee contract for a research project under the Safe Documents (SafeDocs) program. The SafeDocs program aims to develop novel verified programming methodologies for building high assurance parsers for extant electronic data formats, and novel methodologies for comprehending, simplifying, and reducing these formats to their safe, unambiguous, verification-friendly subsets (safe sub-setting). SafeDocs will address the ambiguity and complexity obstacles to the application of verified programming posed by extant electronic data formats. Work will be performed in Portland, Oregon, with an expected completion date of May 2023. Fiscal year 2019 research, development, test and evaluation funding in the amount of $2,326,000 are being obligated at time of award. This contract was a competitive acquisition under an open broad agency announcement and 23 offers were received. The Defense Advanced Research Projects Agency, Arlington, Virginia, is the contracting activity (HR001119C0073).