Definitive Contract IND17PC00455
Award Date 9/20/17
Potential Completion Date 12/19/18
Potential Value $230K
Funding Federal Agency
Contracting Federal Agency
Awardee
Ultimate Awardee
Not listed NAICS Category
Set-Aside Type
Total Small Business
Federal Contract Vehicle
- Not listed
Extent Competed
Full and Open Competition after exclusion of sources
Major Defense Program
Not listed Pricing Type
Firm Fixed Price
Place of Performance
Palo Alto, CA 94304, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
131
Legislative Mandate
Economy Act
National Interest Action
Not listed Research Type
SBIR Program Phase I Action
Primary Consortia Member
Not listed Similar Awards
- 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...
- This is a $1,436,205.00 Small Business Innovation Research (SBIR) Phase II contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business located in Palo Alto, California. The contract is for an effort entitled "Binary Assurance Through Proofs of Properties" and will run through July 13, 2026. Kestrel Technology specializes in developing software tools and technologies to improve software safety and security, with a focus on...
- 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...
- 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...
- This is a Definitive Contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Critical Technologies Inc., a small business, for the development of secure software components leveraging the seL4 microkernel. The contract has a Firm Fixed Price structure and a ceiling value of $1,499,156.00. The contract was awarded on September 14, 2015 as a SBIR Program Phase II Action, with a targeted completion date of April 13, 2019. The contract seeks to develop secure software components...
- 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 Small Business Technology Transfer (STTR) Phase II contract awarded by the Air Force Research Laboratory (AFRL) to Kestrel Technology LLC, a small business, for $999,156.00. The contract is for "EFFECTS DRIVEN MULTI DOMAIN PLANNING" research and development. Kestrel Technology specializes in software analysis and assurance tools, and has received prior SBIR and STTR awards from agencies like DARPA and the Army. This STTR Phase II contract will fund Kestrel's continued work on...
- 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 SBIR Phase I contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Dornerworks, LTD, a technology engineering company, to conduct research on the seL4 microkernel on a secure RISC-V processor. The firm fixed price contract, valued at $224,393.82, was set aside for small businesses. Dornerworks has experience supporting federal projects through prime and subcontractor roles, providing engineering services and hardware/software solutions related to high assurance...
- Kestrel Corporation has been awarded a definitive contract valued at one million seven hundred thousand dollars by the Air Force Research Laboratory to continue research initiated under Phase II of the Small Business Innovation Research program. The two-year firm fixed price contract will support Kestrel's work on projects researched during Space Pitch Day 2021 and allow the New Mexico-based company to further develop technologies of interest to the Air Force Materiel Command at its...