Proving Insecurity with Circuit Compilation and Logic Optimization
Awarded 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 | |
| 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