Safe documents (safedocs) program, the safe documents program will develop novel verified programming methodologies for building high assurance parsers for extant electronic data formats, and novel…
Ended Definitive Contract Awarded Last action
- Contract number
- HR001119C0075
- Awardee
-
Sri International UEI SRG2J1WS9X63
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $6,201,379
Award facts
- Opportunity
-
- Safe Documents (SafeDocs) Pre-Solicitation · HR001118S0054 · Posted Aug 23, 2018
- Parsley: Foundations for Safe Verified Parsing Award Notice · Posted Jul 16, 2019
- Contract value 100% obligated
- $6,201,379.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Contracting staff
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 23 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Menlo Park, CA 94025, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Other Administrative Action | $0 | |
| Other Administrative Action | $0 | |
| Funding Only Action | $510,814 | |
| Funding Only Action | $215,000 | |
| Other Administrative Action | $0 | |
| Exercise an Option | $1,155,219 | |
| Other Administrative Action | $0 | |
| Funding Only Action | $350,000 | |
| Funding Only Action | $100,000 | |
| Funding Only Action | $1,303,560 | |
| Funding Only Action | $199,999 | |
| Exercise an Option | $199,999 | |
| Funding Only Action | $458,972 | |
| Funding Only Action | $558,972 | |
| Original award | $1,148,844 |
Show all 16
About this award
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.
Description
Safe documents (safedocs) program, the safe documents program will 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".
Quick answers
Who was awarded contract HR001119C0075?
HR001119C0075 was awarded to Sri International by Defense Advanced Research Projects Agency (Department of Defense) on May 13, 2019.
How much is contract HR001119C0075 worth?
The government has obligated $6,201,379 on HR001119C0075.
Was contract HR001119C0075 competed?
The extent of competition for HR001119C0075 was full and open competition. The government received 23 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award