Skip to content
Abierto
Menu

Award notice

HR001125C0300 Continuous-correctness On Opaque Processors (COOP)

HR001124S0016-HR001125C0300

Defense Advanced Research Projects Agency, Def Advanced Research Projects Agcy. Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology).

View on SAM.govMarkdown

Awarded

Galois, Inc.

$26,407,821.00 on the award notice, October 16, 2024, contract HR0011-25-C-0300

Description

As published on SAM.gov.

Awarding HR001125C0300 valued at $26,407,821.00 to GALOIS, INC. for Continuous-correctness On Opaque Processors (COOP).

The contract, on USAspending

Federal procurement data the awarding office reported to FPDS, matched to this solicitation by its number.

Recipient
Galois, Inc.
UEI
MKT6C6U2BRM4
CAGE
1NCT1
Vendor location
Portland, OR
Contract
HR001125C0300, definitive contract
Obligated
$12,622,799.00, current value $25,245,598, potential $52,815,642
Actions
9 between October 16, 2024 and April 17, 2026
Competition
Full and Open Competition, 8 offers received
Set-aside reported
No Set Aside Used.
Described as
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.
Match
award number HR001125C0300 equals the contract number; same awarding office HR0011 (high confidence)
Record
USAspending award page

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. October 17, 2024

    Award notice

    Awarded to Galois, Inc. for $26,407,821. SAM.gov, notice 6163eaf7f8564878aca4b56f646fead0

Points of contact

Also open from this buyer