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

Cost effective

Our products run on COTS hardware, our costs are transparent, and our licenses perpetual.


We provide verifiable evidence of security and correctness. We stand behind our software with a lifetime warranty.

Free & Fair provides elections services and systems whose security and architecture are reviewed by the world’s foremost experts in academia and industry. We apply the same technology and techniques used to solve problems relevant to national security for the U.S. federal government. Our products are provably correct, secure, and open source.

Latest Articles

Our Products


Supervised Voting System


Poll Queue Monitor