Galois introduces new spin-out, Niobium Microsystems

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

PERMALINK

Galois wins DARPA project, POLYMORPH

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

PERMALINK

Air Force Phase II SBIR Awarded to Increase Mission Resiliency and Survivability

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.

PERMALINK

NASA SBIR Award Supports Collaborative Systems Engineering

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.

PERMALINK

Army Awards Phase II SBIR to Help Curb the Prohibitive Costs of Upgrading Legacy DoD Systems

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.

PERMALINK

2021 Galois Summer School for Trustworthy Machine Learning, Artificial Intelligence, and Data Science

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

PERMALINK

Galois spin-out MuseDev acquired by Sonatype

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

PERMALINK

Galois Awarded $15.3M DARPA Contract for BASALISC Project

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

PERMALINK

Galois Awarded $7M Contract for ROCKY

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.

PERMALINK

thatDot Anomaly Detector Now Generally Available

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

PERMALINK