Reprogrammable High Assurance Internet Protocol Encryptor

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$99,842.00
Award Year:
2006
Program:
SBIR
Phase:
Phase I
Contract:
FA8750-06-C-0119
Award Id:
79120
Agency Tracking Number:
F061-062-2556
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
12725 SW Millikan Way, Suite 290, Beaverton, OR, 97005
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
John Launchbury
CEO
(503) 626-6616
john@galois.com
Business Contact:
Dave Hardman
EVP
(503) 626-6616
daveh@galois.com
Research Institution:
n/a
Abstract
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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government