Definitive Contract HR001119C0075
- Not listed
- This federal contract award is for the SAFE DOCUMENTS (SAFEDOCS) PROGRAM, which is being developed by SRI International, a non-profit research and development institute, for the Defense Advanced Research Projects Agency (DARPA). The contract is valued at $11,127,684.00 and has a completion date of September 30, 2023. The program will develop novel verified programming methodologies for building high assurance parsers for existing electronic data formats, as well as methodologies for...
- The Defense Advanced Research Projects Agency awarded a $3,077,557 cost-plus-fixed-fee definitive contract to SRI International for the Memory and Type Safety at Scale project. Sri will conduct research on improving memory and type safety for large-scale software systems. Major subcontractors include the University of Cambridge for software improvements, Capabilities Limited for software development and integration, MSB Associates for software development and integration as a small disadvantaged...
- The Defense Advanced Research Projects Agency (DARPA) awarded a $2,180,450.00 firm-fixed-price contract to PDF Association, Inc. to support the SAFE DOCUMENTS (SAFEDOCS) PROGRAM. The contract, which has a period of performance through November 14, 2023, was not set aside for any particular business category. The contract was awarded under a pre-solicitation published in August 2018, which sought innovative research proposals to improve software's ability to recognize and safely reject invalid or...
- This is a definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to BAE Systems Information And Electronic Systems Integration Inc. (BAE Systems) with a potential value of $9,335,000.00. The contract is for the SAFEDOCS program, which will develop novel verified programming methodologies for building high assurance parsers for electronic data formats, and methodologies for comprehending, simplifying, and reducing these parsers. There is no set-aside designation...
- This is a $13,270,639.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to SRI International, a large non-profit research and development institute. The contract supports a DARPA research project and does not have a small business set-aside designation. As a prime contractor, SRI International has subcontracted work to two organizations: Kestrel Institute, a non-profit computer science research center, and Siege Technologies, LLC, a...
- This is a $5,821,540.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Sri International, a non-profit research institute. The contract is for cybersecurity services and has a completion date of March 30, 2023. Sri International has significant experience performing research and development work for government agencies, including the Department of Defense, Department of Health and Human Services, and NASA. The contract does not have a set-aside...
- This is a federal contract award by the Defense Advanced Research Projects Agency (DARPA) to prime contractor SRI International, a non-profit research institute. The contract, valued at $8,319,598.00, is for the SSITH (System Security Integration Through Hardware and Firmware) program, which explores new approaches to protect systems against hardware vulnerabilities rather than single instances of software weaknesses. The contract has no set-aside designation. SRI International has subcontracted...
- This is a $6,715,729.00 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Sri International, a nonprofit research and development institute. The contract is for a program called "DESIGN FOR CERTIFICATION (DESCERT)" with a completion date of June 28, 2024. The contract type is cost-plus-fixed-fee, and there is no set-aside designation. Major subcontractors on this contract include General Electric Company's GE Research Division, Fortiss GMBH, and...
- The Defense Advanced Research Projects Agency (DOD) awarded Sri International a $7,017,842.00 Definitive Cost Plus Fixed Fee contract to conduct research in West Menlo Park, California from December 12, 2022 through June 12, 2026. As no solicitation was provided, the specific research products or services Sri International will provide under this award cannot be definitively stated. However, based on DARPA's mission to make pivotal investments in breakthrough technologies for national...
- This is a federal contract award from the Defense Advanced Research Projects Agency (DARPA) to Northrop Grumman Systems Corporation's Space Systems Division. The $2,628,693 "SAFE DOCUMENTS (SAFEDOCS) PROGRAM" contract aims to develop new methodologies for building secure data parsers and simplifying electronic data formats. This five-year cost-plus-fixed-fee contract has a February 2024 completion date and was not set aside for small businesses. The prime contractor, Northrop...
Sri International was awarded a definitive cost-plus-fixed-fee contract valued at up to $6,201,379 by the Defense Advanced Research Projects Agency to conduct the Safe Documents Program. The program will develop novel methodologies for building high assurance parsers for existing electronic data formats and techniques for comprehending, simplifying, and reducing these formats to their safe, unambiguous, verification-friendly subsets. Trustees of Dartmouth College will serve as a major subcontractor to assist with capturing language-based document security and providing hardened language processing. The award stems from a pre-solicitation posted in August 2018 seeking innovative research proposals to improve software's ability to safely process invalid and maliciously crafted untrusted electronic data while maintaining functionality of legacy formats.
Name | Description | Solicitation Number | FederalAgency | Type | PostedDate |
|---|---|---|---|---|---|
Instantiation of SafeDocs | HR001118S0054 | Defense Advanced Research Projects Agency | Award Notice 3/9 | 5/22/19, 11:57 AM | |
Verifiable Automatic Language Analysis and Recognition for INputs & Parser Toolkits enhanced with Language Security For electronic data formats | HR001118S0054 | Defense Advanced Research Projects Agency | Award Notice 6/9 | 7/16/19, 3:45 PM | |
Parsley: Foundations for Safe Verified Parsing | HR001118S0054 | Defense Advanced Research Projects Agency | Award Notice 9/9 | 7/16/19, 4:06 PM | |
PDF in SafeDocs | HR001118S0054 | Defense Advanced Research Projects Agency | Award Notice 5/9 | 6/13/19, 12:57 PM | |
VoO Adversary Leveraging Instigator Documents Automated Testing and Oppugner Research | HR001118S0054 | Defense Advanced Research Projects Agency | Award Notice 2/9 | 4/25/19, 10:40 AM |
ContractNumber | Description | Subcontractor | Prime Award | Dollars Obligated | Updated At |
|---|---|---|---|---|---|
PO37304S | Trustees Of Dartmouth College | Definitive Contract HR001119C0075 | $1.6m | 10/11/19 |
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| P00015 | Other Administrative Action | $0 | 12/11/23 | |
| P00014 | Other Administrative Action | $0 | 9/21/23 | |
| P00013 | Other Administrative Action | $0 | 7/17/23 | |
| P00012 | Funding Only Action | $510.8k | 3/21/23 | |
| P00011 | Funding Only Action | $215.0k | 11/22/22 |