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.

Clients and partners

DARPA

Microsoft

VotingWorks

Verificatum

State of Colorado

OSET Institute


Secure

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

Open source

Our hardware and software is open source, available to anyone for use and vetting.

Guaranteed

We provide verifiable evidence of security and correctness.

Latest posts and articles