USA flag logo/image

An Official Website of the United States Government

Deterministic Detection for Hijacked Program Execution

Award Information

Department of Defense
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2013
Title: Deterministic Detection for Hijacked Program Execution
Agency: DOD
Contract: N00014-13-C-0304
Award Amount: $487,080.00


Modern computer systems are employed in numerous environments and are capable of performing a wide range of tasks. To support such capabilities economically, software developers have 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, while providing the desired capabilities, may also include non-obvious and undesirable behavior. Such behavior can often be used to compromise the security of a computer system, leaving the system vulnerable to attacks that may disrupt the system"s operation or exfiltrate sensitive information. We propose the creation of a whole-system detection platform capable of supporting a suite of detection strategies for countering exploits that hijack the execution of a running operating system or one of its hosted applications. A critical initial component of this detection platform will be a control-flow integrity (CFI) checker. Integrity of execution control flow indicates that the execution of instructions in a software component follows a path that was intended by the developer of the softwarea property violated by many attack vectors. The proposed technology would detect such attacks by recognizing when such a violation occurs.

Principal Investigator:

Thomas Johnson
Software Engineer
(607) 273-7340

Business Contact:

Derek Burrows
General Counsel
(607) 273-7340
Small Business Information at Submission:

GrammaTech, Inc
531 Esty Street Ithaca, NY -

EIN/Tax ID: 161338879
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No