Galois Reaches Major Milestone in First Project for U.S. Space Development Agency

Galois finished its second major milestone, ahead of schedule, for the High Integrity, Performant, Efficient Realization of a SPAceborne Cryptographic Engine (HIPERSPACE) project. The project, Galois’s first for the U.S. Space Development Agency (SDA), focuses on the creation of high-assurance, high-performance implementations of cryptographic functions for deployment in low earth orbit. 

Working alongside Galois spinout Niobium Microsystems and partner Innoflight, our digital engineering team aims to create a platform that effectively secures the SDA’s ultra-high speed satellite communication network, enabling the safe transmission and receipt of encrypted data and preparing to support new encryption standards, all on a low size, weight, and power (SWaP) platform. HIPERSPACE’s cryptographic algorithms and protocols are formally specified using Cryptol, Galois’s flagship cryptography tool, as well as several other formal languages.

The team delivered the semi-formal and formal system specification, product line specification, architecture specification, and cryptographic algorithm specification. Using digital engineering methodologies, the Galois team proved, for all possible inputs, that software and firmware implementations (hand-written, automatically generated, or a combination) behave identically to the specification.


This material is based upon work supported by the Space Development Agency (SDA) under Contract No. HQ085022C0004.  Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Space Development Agency (SDA).