Company Information
Address 3260 HILLVIEW AVE FL 2
PALO ALTO, CA, 94304-1225


DUNS: 128529943

# of Employees: 4

Ownership Information

HUBZone Owned: N

Socially and Economically Disadvantaged: N

Woman Owned: N

Award Charts

Award Listing

  1. CLAIM: Corpus- and Logic-based Automated Identification of Malware

    Amount: $1,200,374.00

    Kestrel 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
  2. Agent Architecture for Continuous Systems

    Amount: $98,824.00

    We 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
  3. TraceWare

    Amount: $746,617.00

    The 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
  4. SAGe: A Sound Static Analyzer for Wide-Spectrum Value Extraction

    Amount: $746,617.00

    The 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
  5. TFX: A System for Deriving Multi-Core Applications

    Amount: $98,894.00

    The physical and economic limits of processor advances are driving the industry toward multi-core architectures. In a short time, they will find their way into systems ranging from high end servers do ...

    SBIRPhase I2008Defense Advanced Research Projects Agency Department of Defense
  6. Composition and Verification of System Security Policies

    Amount: $99,812.00

    Modern complex system-of-systems have the problem of coordinating and uniformly enforcing system-wide security policies. This project focuses on formal specification of security policies, system model ...

    SBIRPhase I2007Missile Defense Agency Department of Defense
  7. Failsafe

    Amount: $599,847.00

    With embedded software becoming ever more complex, assuming that it behaves perfectly is not realistic. The adaptation of fault protection concepts to embedded software is attractive, particularly in ...

    STTRPhase II2007National Aeronautics and Space Administration
  8. A Software Hub for High Assurance Model-Driven Development and Analysis

    Amount: $749,858.00

    Recent years have seen an increase in the use of model-based languages and associated tools for the development of embedded and distributed systems. The same period has also seen the development of a ...

    SBIRPhase II2007Department of Defense Navy
  9. Interface Explorer: A verification environment for large, complex applications

    Amount: $749,968.00

    Automated tools are indispensable for high assurance software. They must (i) scale to handle very large applications; (ii) produce few or no indeterminate warnings; and (iii) be easily employed by dom ...

    SBIRPhase II2007Department of Defense Air Force
  10. A Software Hub for High Assurance Model-Driven Development and Analysis

    Amount: $99,933.00

    The use of model-based languages for the development of embedded and distributed systems, in connection with the development of analysis tools, each with their own modeling language gives rise to two ...

    SBIRPhase I2006Department of Defense Navy

Agency Micro-sites

US Flag An Official Website of the United States Government