Federal award (DEFINITIVE CONTRACT, fiscal year 2021)
Recipient: SRI INTERNATIONAL
Awarding agency: Department of Defense / Defense Advanced Research Projects Agency
Funding agency: Department of Defense / Defense Advanced Research Projects Agency
Period of performance: 2019-05-19 to 2023-03-31
Current total value of award: $5299293
Description: SAFE DOCUMENTS (SAFEDOCS) PROGRAM - DEVELOP NOVEL VERIFIED PROGRAMMING METHODOLOGIES FOR BUILDING HIGH ASSURANCE PARSERS FOR EXTANT ELECTRONIC DATA FORMATS, AND NOVEL METHODOLOGIES