Galois Releases New Versions of Verification Tools SAW, Cryptol, and Crux

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. […]

PERMALINK

Galois Releases the Swanky Suite of Rust Libraries for Secure Computation

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 […]

PERMALINK

Galois Releases CAMET Base Pack 1.6.1 with Enhanced Capabilities and Stability Improvements

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 […]

PERMALINK

HACMS Receives Prestigious DARPA “Game Changer” Award

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 […]

PERMALINK

Announcing FRIGATE 0.4.0 and SLICED 2.10.1

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 […]

PERMALINK

Galois Releases MBSE Training Materials for AADL and CASE Tools

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. […]

PERMALINK

“One Weird Trick…”: Galois Develops Fuzzing Tool for User-Friendly Cryptographic Verification

Galois today announced the development of a new fuzzing tool aimed at streamlining the cryptographic verification process in the Software Analysis Workbench (SAW), part of a wider effort focused on making formal verification tools more practical, speedy, and user-friendly.  SAW provides the ability to formally verify properties of code written in C, X86_64, Java, and […]

PERMALINK

Galois Finishes REVERSER Project, Resulting in Automation and Efficiency Gains in Verification Tools

For decades, Galois has used mathematically rigorous formal verification techniques to establish the correctness of systems where failures could have severe consequences, such as safety-critical applications in aerospace, medical devices, cryptographic algorithms, blockchain, and autonomous vehicles. The process offers the highest possible levels of assurance—a must for critical systems—but is very time and labor-intensive.  This […]

PERMALINK

Galois Releases CAMET Base Pack Comprehensive Bundle 

Over the past few months, our CAMET users let us know that they wanted a simple one-download option for installing the CAMET Base Pack, as well as the ability to install CAMET tools without internet access. We listened to that feedback and created the CAMET Base Pack Comprehensive Bundle in response. Galois this week released […]

PERMALINK