DARPA small business innovation research (sbir) phase i effort entitled, "binary assurance through proofs of properties"
Ended Definitive Contract Awarded Last action
- Contract number
- W31P4Q22C0006
- Awardee
-
Kestrel Technology LLC UEI Y9NYPZALSSS6
- Awarding agency
-
Aviation and Missile Command
Army Materiel Command, Department of Defense
- Obligated
- $224,160
Award facts
- Contract value 100% obligated
- $224,160.00 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- Total Small Business
- Competition
- Full and Open Competition after exclusion of sources · 11 offers Negotiated Proposal / Quote
- Pricing
- Firm Fixed Price
- Place of performance
- Palo Alto, CA 94304, USA
- Research
- SBIR Program Phase I Action
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Other Administrative Action | $0 | |
| Original award | $224,160 |
About this award
This is a $224,160.00 DARPA SBIR Phase I contract awarded to Kestrel Technology LLC, a small business based in Palo Alto, CA. The contract is for a research effort titled "Binary Assurance Through Proofs of Properties" and was set aside for total small businesses. Kestrel Technology specializes in software safety and security, providing binary analysis tools for malware detection and reverse engineering. This SBIR contract supports Kestrel's research and development of technologies related to software assurance, testing, and planning, which have applications for military and defense use cases. Kestrel has previously received other SBIR and STTR contracts from agencies like the Department of the Air Force and the Army to work on similar topics around software safety and planning systems.
Quick answers
Who was awarded contract W31P4Q22C0006?
W31P4Q22C0006 was awarded to Kestrel Technology LLC by Aviation and Missile Command (Army Materiel Command) on November 15, 2021.
How much is contract W31P4Q22C0006 worth?
The government has obligated $224,160 on W31P4Q22C0006.
Which agency awarded contract W31P4Q22C0006?
Aviation and Missile Command (Army Materiel Command) awarded W31P4Q22C0006, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract W31P4Q22C0006 competed?
The extent of competition for W31P4Q22C0006 was full and open competition after exclusion of sources. The government received 11 offers. It was set aside: Total Small Business.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award