Skip to content
Abierto
Menu

Award notice, first published as presolicitation

HR001124C0520 Continuous-correctness On Opaque Processors (COOP)

HR001124S0016

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

Vanderbilt University

$5,380,677.00 on the award notice, September 30, 2024, contract HR0011-24-C-0520

Description

As published on SAM.gov.

Awarding HR001124C0520 valued at $5,380,677.00 to VANDERBILT UNIVERSITY 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
Vanderbilt University
UEI
GTNBNWXJ12D5
CAGE
5E694
Vendor location
Nashville, TN
Contract
HR001124C0520, definitive contract
Obligated
$1,042,067.00, potential $5,380,677
Actions
2 between September 30, 2024 and June 25, 2025
Competition
Full and Open Competition, 9 offers received
Set-aside reported
No Set Aside Used.
Described as
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
Match
award number HR001124C0520 equals the contract number; same awarding office HR0011 (high confidence)
Record
USAspending award page
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
solicitation number HR001124S0016 equals the FPDS solicitation identifier; same awarding office HR0011 (high confidence)
Record
USAspending award page
Recipient
Peraton Labs Inc.
UEI
NQKWRHGLTD55
CAGE
6MN14
Vendor location
Basking Ridge, NJ
Contract
HR001125C0305, definitive contract
Obligated
$1,211,181.00, potential $1,211,181
Actions
8 between November 5, 2024 and May 4, 2026
Competition
Full and Open Competition, 8 offers received
Set-aside reported
No Set Aside Used.
Described as
DARPA Research Project
Match
solicitation number HR001124S0016 equals the FPDS solicitation identifier; 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. March 13, 2024

    Presolicitation

    Continuous-correctness On Opaque Processors (COOP)

    Due May 13, 2024. SAM.gov, notice 7172a411881d4c4a9bf25a311ee9b7d9

  2. March 26, 2024

    Presolicitation

    Continuous-correctness On Opaque Processors (COOP)

    Due May 13, 2024. SAM.gov, notice bfee586f95dc4b47bcd56972bb71f234

  3. April 9, 2024

    Presolicitation

    Continuous-correctness On Opaque Processors (COOP)

    Due May 13, 2024. SAM.gov, notice 142226bf57724a46a6cd3b2074b0933c

  4. May 7, 2024

    Presolicitation

    Continuous-correctness On Opaque Processors (COOP)

    Due May 13, 2024. SAM.gov, notice a5785d33276f44649dceb5b6cad9f1ac

  5. October 1, 2024

    Award notice

    Awarded to Vanderbilt University for $5,380,677. SAM.gov, notice 7a693500f6fe48b688832829c0347cad

Points of contact

Also open from this buyer