Boosting effectiveness through testing and evaluation of reliability for pipelined reasoning of verifiers enabling robust systems (better provers)
Active Definitive Contract Awarded Last action
- Contract number
- FA875024CB041
- Awardee
-
Red Balloon Security, Inc. UEI M3HHLMBESDY4
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $4,683,378
Award facts
- Opportunity
-
- Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) Pre-Solicitation · HR001123S0020 · Posted Mar 29, 2023
- Contract value 72% obligated
- $6,514,914.00 Current and potential, with all options
- Completion date 71% complete
- Current and potential, with all options
- Contracting staff
- 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
- No set-aside
- Competition
- Full and Open Competition · 23 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- New York, NY, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $600,000 | |
| Funding Only Action | $1,203,735 | |
| Funding Only Action | $379,955 | |
| Funding Only Action | $569,993 | |
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $429,695 | |
| Funding Only Action | $500,000 | |
| Original award | $1,000,000 |
About this award
The Defense Advanced Research Projects Agency awarded a $6.514 million definitive contract to Red Balloon Security, Inc. on March 25, 2024, for the BETTER PROVERS program, a cost-plus-fixed-fee effort to advance proof engineering and formal verification integration for defense systems.
Place of performance is New York, NY. The originating pre-solicitation, posted March 29, 2023, sought proposals to integrate formal verification methods into continuous software development pipelines across three program phases spanning 42 months. The program aims to develop knowledge, tools, and techniques that enable traditional engineers to deploy formal verification capabilities in critical Department of Defense systems while ensuring freedom from defects and vulnerabilities. Contract performance runs through November 24, 2027.
Red Balloon Security is a small business specializing in firmware security, embedded systems protection, and vulnerability analysis. The firm competes primarily as a prime contractor on full-and-open vehicles across DARPA, Air Force, and Army portfolios, with particular depth in firmware reverse engineering, hardware-software security assessment, and cryptographic hardening of embedded control systems.
Quick answers
Who was awarded contract FA875024CB041?
FA875024CB041 was awarded to Red Balloon Security, Inc. by Air Force Research Laboratory (Air Force Materiel Command) on March 25, 2024.
How much is contract FA875024CB041 worth?
The government has obligated $4,683,378 on FA875024CB041. Its current value, with exercised options, is $6,514,914.
Which agency awarded contract FA875024CB041?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875024CB041, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875024CB041 competed?
The extent of competition for FA875024CB041 was full and open competition. The government received 23 offers.
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