You are here
Mixed Semiformal and Formal Modeling of Hypervisor Source Code for Security Property Understanding
Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-08-M-0136
Agency Tracking Number: O072-I09-4011
Amount:
$100,000.00
Phase:
Phase I
Program:
SBIR
Solicitation Topic Code:
OSD07-I09
Solicitation Number:
2007.2
Timeline
Solicitation Year:
2007
Award Year:
2008
Award Start Date (Proposal Award Date):
2008-06-03
Award End Date (Contract End Date):
2008-12-03
Small Business Information
1703 S Jefferson Street, SW
Suite 400
Roanoke, VA
24016
United States
DUNS:
627132913
HUBZone Owned:
No
Woman Owned:
No
Socially and Economically Disadvantaged:
No
Principal Investigator
Name: Daniel Gall
Title: Principal Investigator
Phone: (540) 769-8400
Email: submissions@lunainnovations.com
Title: Principal Investigator
Phone: (540) 769-8400
Email: submissions@lunainnovations.com
Business Contact
Name: Michael Pruzan
Title: Director of Contracts
Phone: (540) 769-8430
Email: submissions@lunainnovations.com
Title: Director of Contracts
Phone: (540) 769-8430
Email: submissions@lunainnovations.com
Research Institution
N/A
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.
* Information listed above is at the time of submission. *