Continuous-correctness on opaque processors (COOP) develop hardware and software tools to guarantee that software is running correctly by combining formal methods and side-channels
Ended Definitive Contract Awarded Last action
- Contract number
- HR001124C0520
- Awardee
-
Vanderbilt University UEI GTNBNWXJ12D5
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $1,042,067
Award facts
- Opportunity
-
- Continuous-correctness On Opaque Processors (COOP) Pre-Solicitation · HR001124S0016 · Posted Mar 13, 2024
- Contract value 19% obligated
-
- $1,042,067.00 Current, with exercised options
- $5,380,677.00 Potential, with all options
- Completion date 100% complete
-
- Current, with exercised options
- 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 · 9 offers Basic Research
- Pricing
- Cost No Fee
- Place of performance
- Nashville, TN 37203, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Funding Only Action | $346,035 | |
| Original award | $696,032 |
About this award
The Defense Advanced Research Projects Agency (DARPA) awarded a $5.38M definitive contract to Vanderbilt University's Sponsored Programs Administration on September 30, 2024, for the Continuous-Correctness On Opaque Processors (COOP) program. The contract, which extends through September 30, 2027, is a cost-no-fee arrangement with no set-aside designation. Under this award, Vanderbilt will develop hardware and software tools designed to guarantee that software is running correctly by combining formal methods and side-channel analysis, effectively unifying computer science and physics to provide continuous correctness assurances on any processor architecture. The work will be performed in Nashville, Tennessee.
The COOP program originated from a DARPA pre-solicitation notice issued in March 2024 that sought transformative tools and techniques to enable continual guarantees of software correctness with low overhead. Vanderbilt's selection reflects the university's established expertise in advanced computing research and its demonstrated capability to execute complex federal research and development projects. As a leading private research institution with a strong track record of delivering cutting-edge research across multiple scientific and technological domains, Vanderbilt is well-positioned to advance DARPA's mission in developing next-generation security and verification technologies for processors and software systems.
Subawards
| Subcontractor | Amount | Awarded |
|---|---|---|
| KRI At Northeastern University, LLC | $212,812 | |
| KRI At Northeastern University, LLC | $428,000 |
Quick answers
Who was awarded contract HR001124C0520?
HR001124C0520 was awarded to Vanderbilt University by Defense Advanced Research Projects Agency (Department of Defense) on September 30, 2024.
How much is contract HR001124C0520 worth?
The government has obligated $1,042,067 on HR001124C0520. Its potential value, with all options, is $5,380,677.
Was contract HR001124C0520 competed?
The extent of competition for HR001124C0520 was full and open competition. The government received 9 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