USA flag logo/image

An Official Website of the United States Government

ESP: Embedded Systems Protection

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
D131-003-0038
Solicitation Year:
2013
Solicitation Topic Code:
SB131-003
Solicitation Number:
2013.1
Small Business Information
Zephyr Software LLC
2040 Tremont Rd Charlottesville, VA 22911-8653
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2013
Title: ESP: Embedded Systems Protection
Agency / Branch: DOD / DARPA
Contract: W31P4Q-13-C-0164
Award Amount: $96,710.00
 

Abstract:

An existing binary static analyzer will be enhanced to provide both exploit protections and anti-memory-tampering defenses via static rewriting rules. A binary static analyzer will accept the original binary and the rewriting rules and produce a new, protected binary. Formal theorem-proving methods will be used to verify that the security instrumentation does not alter correct execution of the program when not under attack.

Principal Investigator:

Clark L. Coleman
Research Scientist
(434) 284-3002
clc@zephyr-software.com

Business Contact:

Jack W. Davidson
President
(434) 242-4280
jwd@zephyr-software.com
Small Business Information at Submission:

Zephyr Software LLC
2040 Tremont Rd Charlottesville, VA -

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