All tenders
HR001125C0300
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.
Defense Advanced Research Projects Agency · United States
This tender closed on Thursday, April 16, 2026. Browse open opportunities
Time Left to Bid
Closed
ClosedDefence & SecurityFederal
Basic information
- Reference number
- HR001125C0300
- Issuing organization
- Defense Advanced Research Projects Agency · Find award history →
- Government level
- Federal
- Solicitation type
- Defence & Security
- Title
- 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.
- Source
- USASpending (Federal)
- Source ID
- usa-HR001125C0300
Details
- Location
- United States
Description
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. Awarded to: GALOIS, INC. Agency: Department of Defense Sub-agency: Defense Advanced Research Projects Agency Award type: DEFINITIVE CONTRACT
Dates
- Publication
- 2024/10/16 12:00:00 AM UTC
- Closing date
- 2026/04/16 12:00:00 AM UTC
Estimated value
$12.6M USD
Classification
Normalized category
Defence & Security