We use industry leading formal methods and engineering practices, from decades of experience with critical systems.

Cost effective

We focus on COTS hardware, our costs are transparent, and our licenses perpetual.


We provide verifiable evidence of security and correctness.

Free & Fair is a spin-out of Galois. We develop elections technology whose security and architecture are reviewed by the world’s foremost experts in academia and industry. We apply the same techniques used to solve problems relevant to national security for the U.S. federal government.

Latest Articles