SBIR/STTR Research Award
AESOP - Automatic Extraction and verification of Security features Of Programs
Award amount
$99,993Program and phase
SBIR · Phase IAward year
2005Award details
- Awarding agency
- Department of Defense
- Branch
- Air Force
- Recipient company
- ATC-NY INC
- Proposal award date
- 2005-02-25
- Contract end date
- 2006-02-25
- UEI
- LE62V456GNB5
- Solicitation number
- 2004.3
- Topic code
- OSD04-SP6
Research 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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Cyber-agents for Live Onboard Aviation Network Security (CLOANS)
- FORTRESS (Fast, Orderly, Reliable, Tree-based Resource Enforcement Security System)
- CYRIN-OT: Advanced Cyber Range for Operational Technology Digital Twins
- Cyber Analyst NOtebook (CANO)
- WHAM, a WareHouse AI for Management
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Sanitizing Software of Malicious and Unauthorized Code
- Sanitizing Software of Malicious and Unauthorized Code
- Malicious and Damaging Binary Code Elimination
Research funding history
143 SBIR/STTR records share this UEI (1983–2025). Reported award amounts total $44,477,719. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Energy, National Science Foundation, Department of Homeland Security, Department of Commerce