Basic Information

ITHACA, NY, 14850-3250

Company Profile


Additional Details

Field Value
DUNS: 603978321
Hubzone Owned: N
Socially and Economically Disadvantaged: N
Woman Owned: N
Number of Employees: 77

  1. ANTSS? Analysis 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 ...

    SBIR Phase II 2015 Department of Defense Air Force
  2. Progressive Model Generation for Adaptive Resilient System Software

    Amount: $497,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 ...

    STTR Phase II 2015 Department of Defense Navy
  3. 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 ...

    STTR Phase I 2015 Department of Defense Navy
  4. 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 ...

    SBIR Phase I 2014 Department of Homeland Security
  5. 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 ...

    SBIR Phase I 2014 Air Force Department of Defense
  6. 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, buildin ...

    SBIR Phase I 2014 Air Force Department of Defense
  7. 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 ...

    SBIR Phase I 2014 Department of Defense Army
  8. Multi-Abstractions System Reasoning Infrastructure toward Achieving Adaptive Computing Systems

    Amount: $990,697.00

    A modern computer system consists of a complex combination of applications cooperating with the operating system and each other to accomplish a mission. Components of the system are subject to disrupt ...

    SBIR Phase II 2014 Department of Defense Navy
  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 ...

    SBIR Phase II 2014 National Aeronautics and Space Administration
  10. Automatic Detection and Patching of Vulnerabilities in Embedded Systems

    Amount: $1,000,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 ...

    SBIR Phase II 2014 Department of Defense Defense Advanced Research Projects Agency

Agency Micro-sites

US Flag An Official Website of the United States Government