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

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

Innovation with Integrity

We solve your toughest security, reliability & privacy problems.

Let's Work Together