ZEPHYR SOFTWARE LLC — Department of Defense SBIR Phase II: SB131-003
ZEPHYR SOFTWARE LLC — SBIR Phase II award from Department of Defense.
- Amount
- $1,100,748
- Agency
- Department of Defense · Defense Advanced Research Projects Agency
- Program / Phase
- SBIR · Phase II
- Topic
- SB131-003
- Solicitation
- 2013.1
- NAICS
- —
- Place of performance
- VA
- Period
- 2014-06-16 → 2016-09-16
Description
An existing binary static analyzer will be enhanced to protect embedded systems binaries by rewriting the binaries with security instrumentation to enforce four separate defenses against various exploit classes. Formal analysis methods will be used to prove correctness of the security instrumentation, as well as to prove which functions in the binary require protections and which functions are safe from each exploit class.