Reprogrammable High Assurance Internet Protocol Encryptor

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8750-06-C-0119
Agency Tracking Number: F061-062-2556
Amount: $99,842.00
Phase: Phase I
Program: SBIR
Awards Year: 2006
Solicitation Year: 2006
Solicitation Topic Code: AF06-062
Solicitation Number: 2006.1
Small Business Information
12725 SW Millikan Way, Suite 290, Beaverton, OR, 97005
DUNS: 098009918
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 John Launchbury
 (503) 626-6616
Business Contact
 Dave Hardman
Title: EVP
Phone: (503) 626-6616
Research Institution
Field Programmable Gate Arrays are widely recognized as an attractive technology for satisfying the needs of U.S. Government Crypto Modernization programs. However, FPGA technology creates some interesting challenges in terms of reliability and assurance of crypto implementations. In the late 1990s, the National Security Agency recognized the need to significantly improve the state-of-the-art for high assurance crypto implementations, and funded Galois Connections to research and propose compiler and formal method techniques in developing a solution. The result is the Cryptol specification language and tools intended for producing High Assurance cryptographic modules. The NSA subsequently funded Galois to develop a compiler to directly translate high-level Cryptol specifications into highly-efficient FGPA cores in an assured manner. Topic AF06-062 seeks to develop and demonstrate a programmable encryption device capable of meeting HAIPE requirements for use in future satellite communications applications. Galois proposes to address the demanding requirements of such an application by focusing on delivering the right tools for producing High Assurance cryptographic modules targeted to state of the art cryptographic hardware. For the hardware platform, Galois proposes to work in partnership with Rockwell Collins to target their next generation cryptographic platform, the Gigabit Encryptor, which is currently under development at Rockwell Collins.

* 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