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. Stealth and Real-time Program Execution Monitoring

    Amount: $749,993.00

    Modern software development has introduced a wide variety of functionality in modular chunks that can be rapidly reconfigured to create new applications. This leads to large, complex systems that, whi ...

    SBIRPhase II2012Department of Defense Navy
  2. Continuous Integrated Invariant Inference

    Amount: $100,000.00

    The proposed project will develop a new technique for invariant inference and embed this and other current invariant inference and checking techniques in an easy-to-use tool. The result will enhance a ...

    SBIRPhase I2011National Aeronautics and Space Administration
  3. Mathematically Rigorous Methods for Determining Software Quality

    Amount: $749,509.00

    Modern software typically integrates a number of third-party commercial components. The indiscriminate use of such components poses significant security threats to software systems because the compone ...

    STTRPhase II2011Department of Defense Navy
  4. Field Programmable Gate Array (FPGA) Physical Unclonable Functions

    Amount: $100,000.00

    Physically Unclonable Devices (PUFs) have many applications in security and digital rights management. These devices are used in creation of random number generators used to seed key generation and on ...

    SBIRPhase I2011Department of Defense Army
  5. Prioritization of Weapon System Software Assurance Assessment

    Amount: $100,000.00

    The cost and timeliness of weapons-software deployment may benefit from including shareware, freeware, open-source, and COTS components. However, Air Force"s critical, safety-of-flight, and sensitive- ...

    SBIRPhase I2011Department of Defense Air Force
  6. Stealth and Real-time Program Execution Monitoring

    Amount: $80,000.00

    Modern computer systems involve complex arrangements of many software components. It has proven difficult to secure such systems from attack by finding and closing all security holes. Dynamic monitori ...

    SBIRPhase I2011Department of Defense Navy
  7. Automatic Artificial Diversity for Virtual Machines

    Amount: $750,000.00

    ABSTRACT: We propose to introduce artificial diversity to each installation of a standard platform by running the system using a combination of hardware virtualization and software dynamic translatio ...

    SBIRPhase II2011Department of Defense Air Force
  8. Software System Reliability Analysis

    Amount: $750,000.00

    System reliability is a fundamental requirement for safety-critical weapons systems. A key challenge is identifying reliability problems early so that they can be fixed quickly and cheaply. Reliabilit ...

    STTRPhase II2010Department of Defense Army
  9. Mathematically Rigorous Methods for Determining Software Quality

    Amount: $100,000.00

    Software is rarely written entirely from scratch. Typically, third-party commercial off-the-shelf (COTS) components are integrated into larger software systems used both in the commercial sector and i ...

    STTRPhase I2010Department of Defense Navy
  10. Information Assurance

    Amount: $100,000.00

    Insider threat has been an increasingly important problem given low employee morale in today’s tight economy and the increasing reliance on third-party software (including COTS components) that ...

    SBIRPhase I2010Department of Defense Missile Defense Agency
US Flag An Official Website of the United States Government