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 >>
July 9-11, 2014
Joe Kiniry is attending the Symposium on Usable Privacy and Security (SOUPS) in Menlo Park, CA, and will be on the panel for the 2014 EFF Crypto Usability Prize (EFF CUP) Workshop.
More Events >>
We solve your toughest security, reliability & privacy problems.
Copyright © 2014 Galois, Inc. All rights reserved.
Terms and Conditions