You are here


Company Information
531 ESTY ST STE 300
ITHACA, NY 14850-3250
United States



# of Employees: 110

Ownership Information

HUBZone Owned: No

Socially and Economically Disadvantaged: No

Woman Owned: No

Award Charts

Award Listing

  1. Virtual Trusted Platform Module (vTPM)

    Amount: $150,000.00

    ABSTRACT:Trusted platform module(TPM) devices provide the core root of trust for modern computer systems. These devices are used for secure, trusted, and measured boot approaches as well as to secure ...

    SBIRPhase I2015Department of Defense Air Force
  2. ANTSSAnalysis Tools for System Surety

    Amount: $750,000.00

    ABSTRACT:The ANTSS project will develop an integrated suite of automated tools that assist the analysis and review of critical software, particularly for independent verification and validation. The t ...

    SBIRPhase II2015Department of Defense Air Force
  3. Progressive Model Generation for Adaptive Resilient System Software

    Amount: $1,475,906.00

    Software provides critical functionality to the DoD, as well as to the communications, banking, and logistics industries we rely on. Runtime monitoring is now routinely applied to quickly identify and ...

    STTRPhase II2015Department of Defense Navy
  4. Cyber Resiliency for Critical Cyber Physical Systems

    Amount: $80,000.00

    Cyber physical systems are ubiquitous in the modern world; they control transportation, energy, military, medical, and manufacturing infrastructures. Cyber resiliency remains a problem in these system ...

    STTRPhase I2015Department of Defense Navy
  5. GenPatcher: Automatically Evolving Invulnerable Systems

    Amount: $99,999.99

    Modern civilization relies on a network of embedded devices that are (i) riddled with security vulnerabilities and (ii) remotely hackable. Unfortunately, there seems to be near universal neglect for e ...

    SBIRPhase I2014Department of Homeland Security
  6. Fault Isolation in Hypervisors with Live Migration

    Amount: $150,000.00

    ABSTRACT: Cloud computing promises dramatic savings through economies of scale for the government and private sectors, but is also brings security concerns. There is a particular need to prevent faul ...

    SBIRPhase I2014Department of Defense Air Force
  7. ANTSS Analysis Tools for System Surety

    Amount: $150,000.00

    ABSTRACT: This project, Analysis Tools for Software Surety (ANTSS) will improve both requirements management and program analysis tools for critical software development and V & V. First, building fr ...

    SBIRPhase I2014Department of Defense Air Force
  8. Obfuscation to Thwart Un-Trusted Hardware

    Amount: $150,000.00

    As supply chains expand globally, there is a growing risk that computer systems may contain counterfeit hardware components. For subverting trust, a malicious hardware component could automatically id ...

    SBIRPhase I2014Department of Defense Army
  9. Specification Editing and Discovery Assistant

    Amount: $750,000.00

    Accurate safety analysis of software suffers from a lack of appropriate tools for software developers. Current automated tools require approximate analyses; fully-assured verification with formal meth ...

    SBIRPhase II2014National Aeronautics and Space Administration
  10. Automatic Detection and Patching of Vulnerabilities in Embedded Systems

    Amount: $1,500,000.00

    Recent studies have shown that embedded systems are extremely vulnerable to security attacks. Some published exploits include remote hijacking of the electronic systems in a modern car and using IP ph ...

    SBIRPhase II2014Department of Defense Defense Advanced Research Projects Agency
US Flag An Official Website of the United States Government