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.
Read More >>
April 5-13, 2014
John Launchbury is an invited speaker at the European Joint Conferences on Theory & Practice of Software (ETAPS 2014) in Grenoble, France.
More Events >>
We solve your toughest security, reliability & privacy problems.
Copyright © 2014 Galois, Inc. All rights reserved.
Terms and Conditions