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 >>
May 6-9, 2014
Rogan Creswick is speaking on "Multi-App Security Analysis: Looking for Android App Collusion" at the HCSS Conference in Annapolis, MD. We hope to see you there!
More Events >>
We solve your toughest security, reliability & privacy problems.
Copyright © 2014 Galois, Inc. All rights reserved.
Terms and Conditions