SBIR/STTR Research Award
Mixed Semiformal and Formal Modeling of Hypervisor Source Code for Security Property Understanding
Award amount
$100,000Program and phase
SBIR · Phase IAward year
2008Award details
- Awarding agency
- Department of Defense
- Branch
- Navy
- Recipient company
- LUNA INNOVATIONS INCORPORATED
- Proposal award date
- 2008-06-03
- Contract end date
- 2008-12-03
- UEI
- SJHFCDGKJJC5
- Solicitation number
- 2007.2
- Topic code
- OSD07-I09
Research abstract
Luna Innovations Incorporated will work as part of the Naval Research Laboratory’s hypervisor agile development team to advance the state of open source hypervisors. Namely, we will design, develop, and integrate a blend of semiformal and formal open source modeling tools for the purpose of understanding and verifying important security properties of both open source hypervisors and cross domain systems built upon them. All tools we develop or features we add will be open source and we will collaborate with NRL’s other contractor partners.
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.
- Rugged Miniature SWDM Mux and Demux for Military Aircraft
- Distributed Linear and Angular Acceleration Measurement
- Advanced Distributed Fiber Optic Sensing (DFOS) for Naval Safety
- Terahertz Imaging for Detection of Corrosion and Defects Under Hull Coatings
- Ultra-High Temperature Dynamic Seals for Extreme Environments
Awards with the same topic code
Verified by an exact topic code match. This is not a text-similarity match.
- Deep Understanding of Complex High-Assurance Hypervisor Source Code
- FOESA: Framework for Open Exploratory Static Analysis
- Deep Understanding of Complex High-Assurance Hypervisor Source Code
Research funding history
994 SBIR/STTR records share this UEI (1991–2026). Reported award amounts total $336,438,763. Reported amounts are not federal obligations.
Phases: Phase I, Phase II, Phase II – Direct to Phase II
Agencies: Department of Defense, National Aeronautics and Space Administration, Department of Energy, Department of Health and Human Services, National Science Foundation, Environmental Protection Agency