A trusted partner

We perform advanced research and development in election technology and security. Our work is reviewed by the world’s foremost experts in academia and industry, and everything we develop is secure and open source.

Our guarantee

We provide verifiable evidence of the correctness and security of our technology.

Our mission:
verifiable elections

Our goal is to usher in a new era of provably secure, verifiable elections.

We work towards high-assurance, open source software that meets the same reliability and security standards as the US government demands for national security.

Hardware independence

We believe election officials should be able to choose vendor hardware, use existing devices, or independently acquire new ones.

High assurance

Our engineering practices are used to create software and systems critical to national security.


Our technologies provide clear and compelling evidence that they work precisely as intended and designed.

Open source

Our work is open to public review and comment for increased transparency and confidence.


We inherit the ethos of our parent company, Galois. As an employee-owned company, we care about not only the technologies we develop but also the path we take to create them. We operate under a highly collaborative organizational model that encourages leadership and teamwork and respects the individual.

Our technical staff members play a pivotal role in developing advanced software technology. Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative and intellectually challenging environment.