USA flag logo/image

An Official Website of the United States Government

Reprogrammable High Assurance Internet Protocol Encryptor

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
79120
Program Year/Program:
2006 / SBIR
Agency Tracking Number:
F061-062-2556
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Galois, Inc.
421 SW Sixth Avenue Suite 300 Portland, OR 97204-1662
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2006
Title: Reprogrammable High Assurance Internet Protocol Encryptor
Agency / Branch: DOD / USAF
Contract: FA8750-06-C-0119
Award Amount: $99,842.00
 

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.

Principal Investigator:

John Launchbury
CEO
5036266616
john@galois.com

Business Contact:

Dave Hardman
EVP
5036266616
daveh@galois.com
Small Business Information at Submission:

GALOIS CONNECTIONS, INC.
12725 SW Millikan Way, Suite 290 Beaverton, OR 97005

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