Proving Insecurity with Circuit Compilation and Logic Optimization
Award Notice Posted
- Solicitation number
- HR001119S0076
- Agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Awarded
- to Trail Of Bits Inc.
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- HR001120C0084 Federal contract award
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- PSC
- Not on record
Notice details come from SAM.gov. Updated .
About this opportunity
TRAIL OF BITS, INC. was awarded a contract by the Defense Advanced Research Projects Agency to provide specialized technical services involving circuit compilation and logic optimization to advance the agency's research objectives. Valued at $6,068,272, the contract awarded under opportunity HR001120C0084 will fund proven insecurity with circuit compilation and logic optimization for an unspecified period of time in support of the Defense Advanced Research Projects Agency's research efforts.
Notice text
Awarded contract HR001120C0084 to TRAIL OF BITS, INC. for 6068272.00 on 2020-03-30.
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 | |
| This notice | 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