Formal Reasoning Over Machine code Assets Given with Explicit Reticence
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 | |
| This notice | Award Notice | |
| Proving Insecurity with Circuit Compilation and Logic Optimization | Award Notice | |
| Securing Information for Encrypted Verification and Evaluation (SIEVE) | Pre-Solicitation |
5 of 6 notices listed here. See the rest on GovTribe.
On GovTribe
Work this opportunity
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity