Formal Reasoning Over Machine code Assets Given with Explicit Reticence
Awarded Award Notice Posted
- Solicitation number
- HR001119S0076
- Agency
- Defense Advanced Research Projects Agency Department of Defense
- Awarded
- to Galois, Inc.
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- HR001120C0085 Federal contract award
- NAICS code
- Not on record
- PSC
- Not on record
Notice details come from SAM.gov. Updated .
About this opportunity
Galois, Inc. was awarded a $12,752,707 contract by the Defense Advanced Research Projects Agency on April 17, 2020 to develop techniques for formally reasoning about machine code in a manner that protects sensitive information while still enabling verification. The contract aims to provide formal reasoning over machine code assets given with explicit reticence, as described in the award notice published on April 20, 2020 by the Defense Advanced Research Projects Agency.
Notice text
Awarded contract HR001120C0085 to GALOIS, INC. for 12752707.00 on 2020-04-17.
Notice history
| Notice | Type | Posted |
|---|---|---|
| Securing Information for Encrypted Verification and Evaluation (SIEVE) | Award Notice | |
| Securing Information for Encrypted Verification and Evaluation (SIEVE) | Award Notice | |
| Formal Reasoning Over Machine code Assets Given with Explicit Reticence | Award Notice | |
| Proving Insecurity with Circuit Compilation and Logic Optimization | Award Notice | |
| Securing Information for Encrypted Verification and Evaluation (SIEVE) | Pre-Solicitation |
And 1 more award notice.
On GovTribe
Work this opportunity on GovTribe
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity