ESP: Embedded Systems Protection
Agency / Branch:
DOD / DARPA
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.
Small Business Information at Submission:
Zephyr Software LLC
2040 Tremont Rd Charlottesville, VA -
Number of Employees: