SBIR/STTR Research Award
ESP: Embedded Systems Protection
Award amount
$1,100,748Program and phase
SBIR · Phase IIAward year
2014Award details
- Awarding agency
- Department of Defense
- Branch
- Defense Advanced Research Projects Agency
- Recipient company
- ZEPHYR SOFTWARE LLC
- Proposal award date
- 2014-06-16
- Contract end date
- 2016-09-16
- UEI
- ZYYMRLSCHBY3
- Solicitation number
- 2013.1
- Topic code
- SB131-003
Research abstract
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.
Technology keywords
Not reported
Other awards by this recipient
Verified by the same UEI. These are other public SBIR/STTR award pages, not a merged company record.
- Dependable DevOps: Building Reliable and Secure Software via Automated Bug Finding
- Preventing Program Hijacking via Static and Dynamic Analyses
- ESP: Embedded Systems Protection
- Binary Program Optimization
- Preventing Program Hijacking via Static and Dynamic Analyses
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Automatic Detection and Patching of Vulnerabilities in Embedded Systems
- Automatic Detection and Healing of Vulnerabilities in Embedded Systems
- Symbiote Technology to Repair Vulnerable Firmware
- Self-Modeling and Self-Healing Embedded Devices (SMASHED)
Research funding history
10 SBIR/STTR records share this UEI (2009–2019). Reported award amounts total $2,703,172. Reported amounts are not federal obligations.
Phases: Phase I, Phase II
Agencies: Department of Defense, Department of Homeland Security