Galois recently wrapped up a project supporting a new data protection blockchain, known as “Midnight,” developed by IOG. As part of this effort, Galois collaborated with Midnight and Intersect to implement recursive zero-knowledge (ZK) proofs in an open-source ZK library called Halo2. “Integrating recursive ZK proofs into Halo2 will help enable users to automatically move […]

Galois this week announced the release of the new INDIGO tool to the CAMET Library. INsight to Diverse Information using Graphs and Ontologies (INDIGO) enables multidisciplinary engineers and scientists from different organizations to more easily locate information found in models and data sets that are distributed across organizations, captured using different modeling languages and tools, […]

Galois is pleased to announce the release of the Curated Access to Model-based Engineering Tools (CAMET) Library Base Pack version 1.7.1. This version updates the Risk Management Framework (RMF) analysis tool to support revision 5 of the NIST security controls catalog, and works with OSATE version 2.12. It also includes a variety of bug fixes […]

In late 2023, Galois wrapped up its cybersecurity and Rigorous Digital Engineering (RDE) work on Space-Based Adaptive Communications Node (Space-BACN), a DARPA program that aims to revolutionize the way space-based communications work by developing low-cost, high-speed reconfigurable optical datalinks to connect various low-earth orbit (LEO) constellations. While Galois’s prime partner built the optical modem for […]

Galois this week announced the latest releases in our suite of verification tools: SAW 1.1, Cryptol 3.1.0, and Crux 0.8. These updates mark significant strides forward in “the possible” for cryptographic specification, program verification, and computational model validation. SAW 1.1 SAW is our tool for constructing mathematical models of computational behavior and validating their properties. […]

Galois this week announced the latest release of Swanky, our open-source suite of libraries for secure computation. This new, all-in-one toolkit contains cryptographic components that academic, industry, or government users may need for a wide array of privacy-preserving tasks. Whether you are building a protocol using garbled circuits, experimenting with zero-knowledge proofs, or looking to […]

Galois is excited to announce the latest update to the CAMET Library: the release of CAMET Base Pack 1.6.1. This latest version offers numerous small enhancements, stability improvements, additions, and refinements. Key Updates in Version 1.6.1: Integration of the Bi-directional SysML1.x to AADL Bridge, now included with the Base Pack Support for OSATE v2.12 New […]

This week, the Defense Advanced Research Projects Agency (DARPA) bestowed its most prestigious accolade, the Game Changer Award, on the team responsible for the groundbreaking High-Assurance Cyber Military Systems (HACMS) program, in which Galois played a key role.  Presented to DARPA I2O Director Kathleen Fisher, Galois Founder and Chief Scientist John Launchbury, and Dynetics Software […]

We’re excited to announce two significant updates to our suite of advanced modeling tools housed in the CAMET (Curated Access to Model-Based Engineering Tools) Library. FRIGATE 0.4.0 First, this week Galois released version 0.4.0 of FRIGATE. This revolutionary tool, supported by NASA funding, offers robust solutions for mission planning, sensor coverage analysis, and automated failure […]

Galois today announced the release of CASE-AADL-Tutorial, an extensive set of training materials for both the Architecture Analysis & Design Language (AADL) and the freely-available Cyber Assured Systems Engineering (CASE) tools developed by DARPA.  While excellent stand-alone documentation about AADL and each CASE tool already exists, more hands-on guides for real-world scenarios previously did not. […]