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
 Daniel Gall
 Principal Investigator
 (540) 769-8400
 submissions@lunainnovations.com
Business Contact
 Michael Pruzan
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. *

US Flag An Official Website of the United States Government