USA flag logo/image

An Official Website of the United States Government

Higher Assurance and Lower Cost Separation Kernels

Award Information

Department of Defense
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Galois, Inc.
421 SW Sixth Suite 300 Portland, OR 97204-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2012
Title: Higher Assurance and Lower Cost Separation Kernels
Agency / Branch: DOD / ARMY
Contract: W15P7T-12-C-A105
Award Amount: $719,945.00


We propose to build a separation kernel with stronger evidence of correctness than any current product on the market. We will do this by building on work done by Australia's National Information Communications Technology Research Center (NICTA), which includes a complete code-level formal proof of correctness of the L4.verified microkernel running on the ARM processor. Working with NICTA, we will build a system with the separation properties specified by the Separation Kernel Protection Profile (SKPP), and we will augment the proofs of correctness to include the separation properties. If the Common Criteria defined an EAL 8, this system would meet that level of assurance. To reduce the costs of developing and deploying software on a MILS platform, we will enable R & D customers to defer their deployment hardware/software platform selection until later in the development stage by developing an open source prototyping environment for separation kernel projects. We intend to make the set of tools freely available and open source. This should allow preoperational capabilities to be demonstrated with little-to-no cost beyond developer time. Delaying platform lock-in will create a more cost- and feature-competitive marketplace for hardware and software selection.

Principal Investigator:

Dylan McNamee
Principal Investigator
(503) 808-7187

Business Contact:

Jodee LeRoux
(503) 808-7209
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR -

EIN/Tax ID: 931278540
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No