pointing at code (Dmitry A/Shutterstock.com)

ONR seeks to speed development of cryptographic software

The Office of Naval Research has awarded a Small Business Innovation Research contract to Galois for the development of a workbench that will speed the development and testing of new cryptographic algorithms.

Built on tools and techniques created for defense and intelligence applications that verify the correctness of cryptographic software, Galois' workbench will help eliminate flaws and ensure that the encryption software fits performance requirements.

“It can take years and years for the cryptographic community to determine an algorithm is secure," said Aaron Tomb, Galois' research lead in software correctness. "In this project, we will explore ways to automate some of that burden while increasing the assurance level of the testing and verification. Our goal is to allow cryptographers in the defense and enterprise space to reach necessary assurance levels far more quickly and with more confidence.”

Once the suite of tools has been developed and tested, Galois aims to help integrate the workbench into government security frameworks. The company also plans to provide the workbench to industry partners that develop their own encryption software.

The cryptographic tools will also accelerate the discovery of various novel capabilities such as homomorphic encryption, attribute-based-encryption and post-quantum public-key algorithms at research institutes and universities around the world, the company said.

About the Author

Matt Leonard is a former reporter for GCN.


  • business meeting (Monkey Business Images/Shutterstock.com)

    Civic tech volunteers help states with legacy systems

    As COVID-19 exposed vulnerabilities in state and local government IT systems, the newly formed U.S. Digital Response stepped in to help. Its successes offer insight into existing barriers and the future of the civic tech movement.

  • data analytics (Shutterstock.com)

    More visible data helps drive DOD decision-making

    CDOs in the Defense Department are opening up their data to take advantage of artificial intelligence and machine learning tools that help surface insights and improve decision-making.

Stay Connected