USA flag logo/image

An Official Website of the United States Government

AESOP - Automatic Extraction and verification of Security features Of Programs

Award Information

Agency:
Department of Defense
Branch:
Office of the Secretary of Defense
Award ID:
76571
Program Year/Program:
2005 / SBIR
Agency Tracking Number:
O043-SP6-1018
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC-NY
33 Thornwood Dr., Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2005
Title: AESOP - Automatic Extraction and verification of Security features Of Programs
Agency / Branch: DOD / OSD
Contract: FA8650-05-C-8037
Award Amount: $99,993.00
 

Abstract:

To address the threat of malicious third party software modules, ATC-NY, Professor Dexter Kozen, Cornell University, and Architecture Technology Corporation, will create AESOP, a static analysis tool that automatically extracts a digest of the security-relevant behavior of a software module at compile-time, which can be verified at load-time for accuracy and for compliance with a security policy. This digest will act as a code pedigree guaranteeing the trustworthiness of the program. Examples of policies that will be supported include the specification of proper I/O behavior and restrictions on the access to system operations and resources.

Principal Investigator:

Daryl McCullough
Senior Principal Scientist
6072571975
daryl@atc-nycorp.com

Business Contact:

Richard Smith
Controller
6072571975
rick@atc-nycorp.com
Small Business Information at Submission:

ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY 14850

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