Definitive Contract IND16PC00178

Award Date 8/1/16
Potential Completion Date 12/31/19
Potential Value $1.2M
Contracting Federal Agency
Interior Business Center
Ultimate Awardee
Not listed
Set-Aside Type
Total Small Business
Federal Contract Vehicle
Extent Competed
Full and Open Competition after exclusion of sources
Major Defense Program
Not listed
Pricing Type
Cost Plus Fixed Fee
Place of Performance
Palo Alto, CA 94304, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
68
Legislative Mandate
Other Statutory Authority
National Interest Action
Not listed
Research Type
SBIR Program Phase II Action
Primary Consortia Member
Not listed
Similar Awards
The Defense Advanced Research Projects Agency (DARPA) has awarded a $1,436,205.00 Small Business Innovation Research (SBIR) Phase II contract to Kestrel Technology LLC, a small business, for the effort entitled "Binary Assurance Through Proofs of Properties". This definitive, cost-plus-fixed-fee contract is set to run through July 31, 2025 and is focused on developing technologies related to software assurance, testing, and planning. Kestrel Technology specializes in binary analysis...
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...
The Department of the Air Force Materiel Command Research Laboratory awarded a firm-fixed-price Definitive Contract to Kestrel Technology LLC, a for-profit limited liability company, for an SMT-Based Unit Testing research project under the SBIR Program Phase I. The $149,908.00 contract has a completion date of April 30, 2020 and is set aside for total small businesses. Kestrel Technology specializes in software safety through static analysis and has received multiple SBIR and STTR program...
The Department of the Air Force Materiel Command Research Laboratory awarded a Firm Fixed Price, Definitive Contract to Kestrel Technology LLC, a small business, for a SERVICE-BASED MULTI-DOMAIN PLANNING (SBMD) research effort. The $156,283.00 STTR Phase I contract, which was set aside for total small business, supports Kestrel's work on software assurance, testing, and planning technologies for military and defense applications. Kestrel, a limited liability company, has previously received SBIR...
This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Institute, a non-profit computer science research center, for the DERIVATION MINER project. The $5,866,192.00 contract has an ultimate completion date of October 8, 2018. Kestrel Institute, which conducts research in formal methods, program synthesis and refinement, program analysis and verification, and formal modeling, has provided artificial intelligence software and tools to...
This is a $7,863,636.00 Cost Plus Fixed Fee contract awarded by the Science and Technology Directorate of the U.S. Department of Homeland Security to Kestrel Technology LLC, a small business, for the Static Tool Analysis Modernization Project (STAMP). The contract has an ultimate completion date of September 25, 2020 and was awarded on September 26, 2016 without a set-aside designation. Kestrel Technology specializes in software security and has received prior federal contracts from agencies...
This is a $2,894,306 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the Kestrel Institute, a non-profit computer science research center. The contract is for the development of "FLEX: A More Scalable, Explainable, and Trustable Formal Inference Engine," which aligns with DARPA's work on formal methods, program analysis and verification, and artificial intelligence. The contract has a period of performance through February 14, 2022 and...
This is a Cost Plus Fixed Fee contract awarded by the Office of the Secretary of Defense to Kestrel Corp, a small, veteran-owned business, for the development of a "Standoff Chemical & Explosive Threat Agile Sensor". The contract has a ceiling value of $2,883,950.00 and was awarded on June 10, 2016 with an ultimate completion date of June 1, 2018. Kestrel Corp has previously received Small Business Innovation Research (SBIR) program awards from the Air Force Research Laboratory for...
This is a firm-fixed-price definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to A2 Labs, LLC (doing business as Kryptowire, LLC), a small business cybersecurity research and development firm located in Arlington, Virginia. The contract, valued at $1,500,000.00, is for the development of a "Code Interposition Framework for Mobile Cyber Applications" under DARPA's SBIR (Small Business Innovation Research) Program Phase II. The contract has a total small...
<p>The Department of the Air Force Materiel Command Research Laboratory awarded Kestrel Technology LLC a $999,156 Definitive Cost Plus Fixed Fee contract to conduct Effects Driven Multi Domain Planning research as part of its Small Business Technology Transfer Phase II program. The contract, which runs from February 2023 through May 2025, will be performed in Palo Alto, California and has been set aside for total small businesses.</p>

This is a $1,157,899.83 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, under the Small Business Innovation Research (SBIR) program. The contract is for the RCLAIM: CORPUS- AND LOGIC-BASED AUTOMATED IDENTIFICATION OF MALWARE research and development effort, which aims to develop software tools and technologies for improving the analysis and detection of malware. Kestrel Technology LLC specializes in software assurance and has previously received other SBIR and Small Business Technology Transfer (STTR) contracts from DARPA, the Department of the Air Force, and the Army for related research on topics such as binary assurance proofs, test generation, and multi-domain mission planning systems. The contract has a period of performance through December 31, 2019 and is set aside for total small businesses.

Generated 4/22/25, 12:09 PM