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.


  • Records management: Look beyond the NARA mandates

    Pandemic tests electronic records management

    Between the rush enable more virtual collaboration, stalled digitization of archived records and managing records that reside in datasets, records management executives are sorting through new challenges.

  • boy learning at home (Travelpixs/Shutterstock.com)

    Tucson’s community wireless bridges the digital divide

    The city built cell sites at government-owned facilities such as fire departments and libraries that were already connected to Tucson’s existing fiber backbone.

Stay Connected