You are here
KESTREL TECHNOLOGY LLC
UEI: Y9NYPZALSSS6
# of Employees: 4
HUBZone Owned: No
Socially and Economically Disadvantaged: No
Woman Owned: No
Award Charts
Award Listing
-
Effects-Driven Multi-Domain Planning
Amount: $999,156.00Military missions often have a deep hierarchical structure due to the need for extensive support for the top-level goal. A typical strike mission in an Air Tasking Order (ATO) has the top-level goa ...
STTRPhase II2023Department of Defense Air Force -
Binary Assurance Through Proofs Of Properties
Amount: $1,436,205.00Kestrel Technology is extending its Axe toolkit to build a lightweight, easy-to-use tool that can prove important safety, security, and correctness properties of software binaries, such as those used ...
SBIRPhase II2023Department of Defense Defense Advanced Research Projects Agency -
Service-Based Multi-Domain Planning
Amount: $156,283.00Military missions often have a deep hierarchical structure due to the need for extensive support for the top-level goal. A typical strike mission in an Air Tasking Order has the top-level goal to d ...
STTRPhase I2022Department of Defense Air Force -
Binary Assurance Through Proofs Of Properties
Amount: $224,160.00Kestrel Technology proposes to extend its Axe toolkit to build a lightweight, easy-to-use tool that can prove important safety, security, and correctness properties of software binaries, such as those ...
SBIRPhase I2021Department of Defense Defense Advanced Research Projects Agency -
SMT-based Formal Unit Testing
Amount: $149,908.00Kestrel Technology proposes to develop a system for automated unit testing based on formal methods, including SMT solving. The system will build on Kestrel's powerful underlying formal methods tools b ...
SBIRPhase I2019Department of Defense Air Force -
Verified Network Stack Synthesis for seL4
Amount: $229,812.80seL4 is a formally verified operating system microkernel, with proven separation and timing properties. It was developed by NICTA, now part of Data61, and can form the basis for highly secure systems ...
SBIRPhase I2017Department of Defense Defense Advanced Research Projects Agency -
CLAIM: Corpus- and Logic-based Automated Identification of Malware
Amount: $1,200,374.00Kestrel Technology will develop CLAIM: Corpus- and Logic-based Automated Identification of Malware, which will pioneer a novel approach to malware detection and identification using a Big Code corpus ...
SBIRPhase II2016Department of Defense Defense Advanced Research Projects Agency -
Agent Architecture for Continuous Systems
Amount: $98,824.00We propose to develop an Action Languages which allows for the representation of time and time dependent processes and which allows for the valid composition of modules. Furthermore, we will develop ...
STTRPhase I2011National Aeronautics and Space Administration -
TraceWare
Amount: $746,617.00The goal of this Phase II is to build a prototype trace-based tool for distributed, real-time systems that automatically checks properties of traces. These properties can be defined and customized as ...
SBIRPhase II2009Department of Defense Army -
SAGe: A Sound Static Analyzer for Wide-Spectrum Value Extraction
Amount: $746,617.00The high-level goal of the work proposed here is to further develop a new, sound static analyzer and weave it into an existing software development framework in order to support the production of high ...
SBIRPhase II2008Department of Defense Army
