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

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

Galois Wins $2.7M for AMIDOL project

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.

PERMALINK

David Darais joins Galois as Principal Scientist

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

PERMALINK

PIRATE: $7.5M DARPA Contract To Accelerate Secure Application Development 

I’m excited to announce we’ve been awarded a $7.5 million contract by the Defense Advanced Research Projects Agency (DARPA) to work on PIRATE, a set of software development tools for designing and building high-performance, physically-partitioned applications that protect sensitive information.  PIRATE stands for Partitioning Information via Resource-Aware Transformations for Everyone.  The project is part of […]

PERMALINK

Galois spin-off thatDot raises $2.1M round

We’re excited to announce that Galois has a new spin-off company, thatDot. This week, thatDot announced a $2.1M seed funding round led by Oregon Venture Fund (OVF), with participation by Hale Capital Partners and Galois. The company is focused on improving the time-to-value of big data through real time access to streaming data for analysis […]

PERMALINK