01 / Contract Profile
HR001125C0300 Federal Contract Award
Agency code 97AE
THE CONTINUOUS-CORRECTNESS ON OPAQUE PROCESSORS (COOP) PROGRAM SEEKS TO DEVELOP HARDWARE AND SOFTWARE TOOLS TO GUARANTEE THAT SOFTWARE IS RUNNING CORRECTLY BY COMBINING FORMAL METHODS AND SIDE-CHANNELS
02 / Contract Size and Status
What is the recorded size and timing of this contract?
03 / Spending Trend
HR001125C0300 contract spending by fiscal year
Annual net obligations across the complete period available for this agency and PIID, from the first recorded fiscal year through the latest contract action.
Latest fiscal year obligations$0
FY 2026Net obligationsComplete recorded range
| Fiscal year | Net obligations | Actions | Change |
|---|---|---|---|
| FY 2024 | $7.26M | 2 | — |
| FY 2025 | $5.37M | 6 | −26.1% |
| FY 2026 | $0 | 1 | −100.0% |
04 / Federal Buyer
Which organization manages this contract?
| Department | Contracting agency | Contracting office |
|---|---|---|
| DEPT OF DEFENSE | DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) | DEF ADVANCED RESEARCH PROJECTS AGCY |
05 / Contractor
Who holds this federal contract?
GALOIS, INC.
UEI MKT6C6U2BRM4 · CAGE 1NCT1
06 / NAICS Industries
Which industries classify this contract?
| Code | Description | Obligations | Actions | Share |
|---|---|---|---|---|
| 541715 | RESEARCH AND DEVELOPMENT IN THE PHYSICAL, ENGINEERING, AND LIFE SCIENCES (EXCEPT NANOTECHNOLOGY AND BIOTECHNOLOGY) | $12.62M | 9 | 100.0% |
07 / Products and Services
What products or services were purchased?
| Code | Description | Obligations | Actions | Share |
|---|---|---|---|---|
| AC13 | NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; EXPERIMENTAL DEVELOPMENT | $12.62M | 9 | 100.0% |
08 / Place of Performance
Where is the work recorded?
PORTLAND, MULTNOMAH, OREGON, UNITED STATES
ZIP 972041622
09 / Contract Actions
What modifications and obligations were recorded?
| Signed date | Modification | Obligation | Contracting office | NAICS | PSC |
|---|---|---|---|---|---|
| Apr 17, 2026 | P00008 | $0 | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Sep 29, 2025 | P00007 | $750.0K | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Sep 5, 2025 | P00006 | $2.02M | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Jun 26, 2025 | P00005 | $232.8K | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Jun 12, 2025 | P00004 | $1.29M | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Mar 24, 2025 | P00003 | $0 | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Jan 28, 2025 | P00002 | $1.07M | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Nov 4, 2024 | P00001 | $589.8K | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
| Oct 16, 2024 | Base action | $6.67M | DEF ADVANCED RESEARCH PROJECTS AGCYOffice code HR0011 | 541715 | AC13 |
10 / Reading the Contract
How should this award record be interpreted?
Read the PIID as a transaction history, not as a single purchase price. Net obligations combine the base action with later increases, reductions, corrections, and deobligations recorded under the same contract.
Verify the buyer
Agency and office identify who manages the procurement relationship.
Follow modifications
Each action can change funding, scope, dates, or administrative terms.
Compare the market
Use NAICS, PSC, and the contractor profile to identify related buyers and competitors.