Home Section 1


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.


Featured Events

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 >>

Innovation with Integrity

We solve your toughest security, reliability & privacy problems.

Let's Work Together