We’re pleased to announce the creation of our newest spin-out:  Niobium Microsystems, devoted to the creation of trusted microelectronic systems. Galois is well-known for its focus on formal methods and high assurance for software validation. Some of the company’s most cutting-edge research involves System-on-Chip design.  Niobium Microsystems builds on this body of work, advancing into […]

As part of DARPA’s V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program, Galois is excited to share we have been awarded a multi-part project – POLYMORPH (Promotion to Optimal Languages Yielding Modular Operator-driven Replacements and Programmatic Hooks) that will cover three technical areas – Levitate, Transmute and Augury, and Revivify. POLYMORPH’s goal is to […]

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Adventium Labs, in conjunction with John Hatcliff and his research team at Kansas State University, has won an Air Force Phase II Small Business Innovation Research (SBIR) award to increase aircraft survivability by addressing information security vulnerabilities in complex cyber-physical systems.

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. Adventium Labs recently won a Phase I NASA Small Business Innovation Research (SBIR) program to tackle the formidable problem of aggregating data and synchronizing models across multiple diverse organizations. Led by Steve Vestal, INDIGO (INsight to Diverse Information using Graphs and Ontologies) will support integration among tools and exchange of information between multidisciplinary artifacts using automated reasoning and open interface standards.

This post originally appeared on the Adventium Labs website. Adventium was acquired by Galois in 2022. When upgrading or redesigning a complex system, like an aircraft, it is crucial to understand the ripple effect of design changes on the system’s resulting costs, especially costs related to re-certification. Small, local changes to any subsystem or component can have broad impacts on system requirements, including size, weight, and power budgets; bandwidth and processor utilization; timing constraints; safety requirements; and security controls.

The 2021 Galois Summer School for Trustworthy Machine Learning, Artificial Intelligence, and Data Science will be held virtually on Monday, June 28th. This summer school is designed as an intensive curriculum aimed at helping students pursuing careers in these areas understand the challenges, limitations, and opportunities in the expansion of these technologies into safety-critical, human-critical, […]

We are pleased to announce that MuseDev, a Galois spin-out company, has been acquired by Sonatype.  MuseDev creates a software solution that automatically analyzes and provides uniquely accurate feedback on each developer pull request, making it easy to find and fix critical security, performance, and reliability bugs during code review.  Sonatype is the leader in […]

We’re thrilled to announce Galois has been awarded a $15.3M DARPA contract for our BASALISC project. This is part of DARPA’s Data Protection in Virtual Environments (DPRIVE) program, which aims to accelerate the “last mile” of data encryption with purpose-built ASICs that accelerate fully homomorphic encryption (FHE) computations. A key aim of the project is […]

The Reliable Obfuscated Communications Kit for everYone (ROCKY) project, part of DARPA’s RACE program, seeks to hide critical data within network traffic through sophisticated cryptographic methods and advanced machine learning techniques – delivering a knock-out for privacy protection. Learn more about ROCKY on our blog.

Galois spinout, thatDot, has exciting news to share! They’ve launched the world’s first real-time anomaly detector for categorical data to speed the development of cybersecurity and network optimization solutions. Customers are finding anomalous usage and identifying misconfigured network routing by analyzing the non-numeric data in their Cloud infrastructure logs; file names, user IDs, IP addresses, […]