Interview: Crowd-sourcing Software Verification

Aaron Tomb recently gave an interview with the Machine Intelligence Research Institute (MIRI) about what Galois is doing on DARPA’s Crowd Sourced Formal Verification (CSFV) program to crowd-source the problem of software verification. Read the article here: http://intelligence.org/2014/05/29/aaron-tomb/

Read More

Galois’ Work for DARPA HACMS in the News

Galois continues to advance building secure, hack-proof critical flight control software in its work on SMACCMPilot, part of DARPA’s High Assurance Cyber Military Systems (HACMS) program. We demonstrated technology developed to-date under this program at DARPA I2O’s Demo Day on May 21 at the Pentagon. Read more about the program and what our team is doing in this article recently published […]

Read More

Cryptol Version 2 Released (and open sourced!)

We are pleased to announce the open source release of Cryptol version 2.  Bugs in crypto code have been in the news lately – Cryptol helps developers detect (or avoid) correctness errors in cryptographic code. What Cryptol does is reduce the gap between the reference specification of a cryptographic algorithm and an executable version which […]

Read More

Heartbleed: A great time to think about incident response

Heartbleed is the nickname of a dangerous OpenSSL vulnerability that was just announced. A security update was already available before the announcement, and this is definitely a vulnerability where quickly patching makes a big difference. A fast response matters here because malware wasn’t in the wild yet, so many sites likely can prevent any negative consequences […]

Read More

Joe Kiniry Joins Galois as Principal Investigator

Joe Kiniry has recently joined Galois as a Principal Investigator. He was previously an academic in Europe for twelve years, most recently a Full Professor at the Technical University of Denmark. He has extensive experience in formal methods, high-assurance software engineering, foundations of computer science and mathematics, and information security. Specific areas that he has […]

Read More

Galois and voidALPHA Produce Free Game for DARPA to Help Crowdsource Software Security

As part of DARPA’s Crowd Sourced Formal Verification (CSFV) program, Galois has partnered with game design and development experts voidALPHA to produce a free online formal verification game, StormBound. Formal verification is the most rigorous way to thwart attacks against IT systems and applications upon which military, government, and commercial organizations rely. Traditional formal methods, […]

Read More

Rob Wiltbank Joins Galois, Inc. as CEO

Portland, Oregon (October 30, 2013) – Rob Wiltbank, Ph.D. has joined Galois as its CEO. Rob is widely recognized as a world expert in angel investing performance and entrepreneurial strategy. In his new role, Rob will drive strategy for Galois’ growth, oversee business operations and development, and help commercialize its technologies. “I’m tremendously pleased to […]

Read More

FMCAD Conference in Portland, OR: October 20 – 23, 2013

This year’s Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 – 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event – we’re excited to be having it in our own back yard! Dr. Lee Pike is on the program committee, and […]

Read More

Lee Pike Giving Keynote at MEMOCODE

For those registered to attend MEMOCODE 2013 this week in Portland, OR, Dr. Lee Pike will be presenting the keynote address titled “Building a High-Assurance Unpiloted Air Vehicle” on October 18 at 11:00 a.m. Abstract A drone autopilot is a complex software artifact that includes operating systems, networking, and sensor systems.  With support from DARPA, Galois is […]

Read More

SMACCMPilot: Open-Source Autopilot Software for UAVs

As part of DARPA’s High Assurance Cyber Military Systems (HACMS), Galois is building critical flight control software using new software methods for embedded systems programming. Recently, Signal Online reported an overview of the HACMS program. We’ve been working on the HACMS program for about a year and we’d like to share more details about open source work we’ve […]

Read More