ZEPHYR SOFTWARE LLC — Department of Defense SBIR Phase I: An existing binary static analyzer will be enhanced to provide both exploit protections an
ZEPHYR SOFTWARE LLC — SBIR Phase I award from Department of Defense.
- Amount
- $96,710
- Agency
- Department of Defense · Defense Advanced Research Projects Agency
- Program / Phase
- SBIR · Phase I
- Solicitation
- 2013.1
- NAICS
- —
- Place of performance
- VA
- Period
- 2013-06-06 → 2014-03-05
Description
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.