Deep Understanding of Complex High-Assurance Hypervisor Source Code

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-10-C-0054
Agency Tracking Number: O072-I09-4020
Amount: $713,270.00
Phase: Phase II
Program: SBIR
Awards Year: 2009
Solicitation Year: 2007
Solicitation Topic Code: OSD07-I09
Solicitation Number: 2007.2
Small Business Information
GrammaTech, Inc
317 N. Aurora Street, Ithaca, NY, 14850
DUNS: 603978321
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Paul Anderson
 VP of Engineering
 (607) 273-7340
 paul@grammatech.com
Business Contact
 Ray Teitelbaum
Title: CEO
Phone: (607) 273-7340
Email: tt@grammatech.com
Research Institution
N/A
Abstract
Hypervisors offer a virtualization platform that is cost effective and attractive from a security point of view because guest operating systems are independent of each other. However, these claims of independence must be certified before it is permitted to use a hypervisor in a security-critical environment. The cost to perform a Common Criteria security evaluation of such low-level system code is very high, and the complexity of the code often thwarts automated tools that could help. In Phase I we developed a prototype of a tool that is capable of handling this complexity. This prototype provides features for visualization of the program’s call graph, tightly coupled with textual views of the source code, and features such as program slicing. It is capable of analyzing both C/C++ source code and modules written in assembly language. The prototype builds on an existing technology infrastructure in use in commercial products and for several other research prototypes. In Phase II, we propose to continue work on this tool to move it to an advanced technology readiness level. The path to commercialization of this work involves transitioning the prototype to an existing successful product suite.

* information listed above is at the time of submission.

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government