USA flag logo/image

An Official Website of the United States Government

Deterministic Detection for Hijacked Program Execution

Award Information

Agency:
Department of Defense
Branch:
N/A
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
O113-IA5-4026
Solicitation Year:
2011
Solicitation Topic Code:
OSD11-IA5
Solicitation Number:
2011.3
Small Business Information
GrammaTech, Inc
531 Esty Street Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2012
Title: Deterministic Detection for Hijacked Program Execution
Agency: DOD
Contract: N00014-12-M-0245
Award Amount: $150,000.00
 

Abstract:

We propose technology to automatically detect software exploits that hijack the execution of a running Linux kernel or one of its hosted applications. The key enabling technology for the proposed work is provided by KATE, the Kernel Analysis and Translation Engine. KATE uses a combination of software dynamic translation and hardware virtualization to provide fine-grained, efficient monitoring of an entire system. We propose to use KATE to enforce execution invariants on a running system. Violations of the invariants will indicate that the system is under attack.

Principal Investigator:

Thomas Johnson
Software Engineer
(607) 273-7340
tjohnson@grammatech.com

Business Contact:

Derek Burrows
Contracts Manager
(607) 273-7340
dburrows@grammatech.com
Small Business Information at Submission:

GrammaTech, Inc
531 Esty Street Ithaca, NY -

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