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.