GrammaTech, Inc.

Basic Information

NY
Ithaca, NY, 14850-3250

http://www.grammatech.com

Company Profile

n/a

Additional Details

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


  1. 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 2015 Department of DefenseDefense Advanced Research Projects AgencyDepartment of Defense
  2. 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 DefenseAir ForceDepartment of Defense
  3. 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 DefenseNavyDepartment of Defense
  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. 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 DefenseArmyDepartment of Defense
  6. 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 DefenseNavyDepartment of Defense
  7. 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 ForceDepartment of DefenseDepartment of Defense
  8. 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 ForceDepartment of DefenseDepartment of Defense
  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. Specification Editing and Discovery Assistant

    Amount: $125,000.00

    The project will prototype a specification editing and discovery tool (SPEEDY) for C/C++ that will assist software developers with modular formal verification tasks by- providing active user interface ...

    SBIR Phase I 2013 National Aeronautics and Space Administration

Agency Micro-sites

US Flag An Official Website of the United States Government