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 >>
December 9-13, 2013
Dylan McNamee is attending the Layered Assurance Workshop in New Orleans, LA. Look him up if you're there!
January 13-15, 2014
John Launchbury is speaking at the Real World Cryptography Workshop in New York City. We hope to see you there!
More Events >>
We solve your toughest security, reliability & privacy problems.
Copyright © 2013 Galois, Inc. All rights reserved.
Terms and Conditions