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

Galois’s Agile Metamodel Inference using Domain-specific Ontological Languages (AMIDOL) is part of DARPA’s Automating Scientific Knowledge Extraction (ASKE) program. AMIDOL is entering its third phase and aims to eliminate the lengthy, error-prone process involved in modeling complex systems for pandemics in real-time. Learn more on our blog.

We’re thrilled to welcome Dr. David Darais to Galois as a Principal Scientist. His research focuses on tools for achieving reliable software in critical, security, and privacy-sensitive systems while leveraging state-of-the-art approaches. This includes program analysis, type checking, mechanized verification, differential privacy, and secure multiparty computation. Dr. Darais co-designs programming languages in concert with tools […]