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>