ESP: Embedded Systems Protection

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W31P4Q-13-C-0164
Agency Tracking Number: D131-003-0038
Amount: $96,710.00
Phase: Phase I
Program: SBIR
Awards Year: 2013
Solicitation Year: 2013
Solicitation Topic Code: SB131-003
Solicitation Number: 2013.1
Small Business Information
Zephyr Software LLC
2040 Tremont Rd, Charlottesville, VA, -
DUNS: 830972647
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Clark Coleman
 Research Scientist
 (434) 284-3002
 clc@zephyr-software.com
Business Contact
 Jack Davidson
Title: President
Phone: (434) 242-4280
Email: jwd@zephyr-software.com
Research Institution
N/A
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government