Office of Naval Research Taps Galois to Develop Cryptographic Analysis Tools Suite

Galois has received a $2 million contract from the Office of Naval Research to build an integrated suite of tools that will work to analyze cryptographic algorithms.

The company said Wednesday it will develop the Cryptographic Analysis, Verification, Exploration, and Synthesis workbench in an effort to help cryptographers address performance requirements for encryption software.

CAVES will be designed to reduce algorithm flaws, measure quantitative factors that affect security and assess encryption properties.

The project is part of ONR’s Small Business Innovation Research Phase II program.

Galois noted it will base the toolkit on the company’s Cryptol language and the Software Analysis Workbench.

The company also seeks to aid the government’s potential adoption of the new cryptographic workbench, as well as share CAVES with industry partners to help them develop new encryption platforms.

You may also be interested in...

REI Systems

REI to Support EPA’s Small Business Proposal Review Process

The Environmental Protection Agency has enlisted the help of REI Systems to assess technology development and commercialization proposals for EPA's Small Business Innovation Research program.

Blue Origin

Blue Origin Names Seven Advisory Board Members

Jeff Bezos' Blue Origin rocket venture has appointed seven government and industry veterans to its newly formed board of advisers that will counsel the firm's leadership team on space business matters.

NASA Flight Opportunities

NASA Adds Virgin Galactic, Masten to Payload Flight IDIQ

NASA has added Virgin Galactic and Masten Space Systems as awardees on a $45M multiple-award contract to help the agency test payloads on suborbital reusable launch vehicles as part of the Flight Opportunities program.