Galois
@galoisinc.bsky.social
galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
And Free & Fair's Press Release: freeandfair.us/blog/releasi...
Releasing VoteSecure: The Core Cryptographic Protocol for Mobile Voting – Free & Fair
Today we are releasing an initial version of VoteSecure, an open source cryptographic voting protocol designed to serve as the secure core of future end‑to‑end verifiable Internet voting (E2E‑VIV) sys...
freeandfair.us
November 17, 2025 at 5:18 PM
And Free & Fair's Press Release: freeandfair.us/blog/releasi...
StateScoop Coverage: statescoop.com/votesecure-b...
Creators of the new and open-source VoteSecure say mobile voting is finally ready | StateScoop
After years of testing internet voting in minor elections, Bradley Tusk's Mobile Voting Foundation has funded the development of a protocol that he hopes will, finally, reinvigorate American democracy...
statescoop.com
November 17, 2025 at 5:18 PM
StateScoop Coverage: statescoop.com/votesecure-b...
Wired coverage: www.wired.com/story/bradle...
Inside the Multimillion-Dollar Plan to Make Mobile Voting Happen
Political consultant Bradley Tusk has spent a fortune on mobile voting efforts. Now, he’s launching a protocol to try to mainstream the technology.
www.wired.com
November 17, 2025 at 5:18 PM
Wired coverage: www.wired.com/story/bradle...
That is very strange... and I don't see it on my browser or editing in the backend. We'll keep looking into it, but thank you for the heads up!
November 13, 2025 at 6:51 PM
That is very strange... and I don't see it on my browser or editing in the backend. We'll keep looking into it, but thank you for the heads up!
Starting from the beginning? Check out our "What are Formal Methods?" explainer here: www.galois.com/what-are-for...
What Are Formal Methods? | Galois
Think of formal methods as a mathematical safety net for critical systems. They use logic-based reasoning to prove that a system always behaves correctly.
www.galois.com
September 18, 2025 at 6:57 PM
Starting from the beginning? Check out our "What are Formal Methods?" explainer here: www.galois.com/what-are-for...
Learn more about our work with the Census Bureau and Differential Privacy here: www.galois.com/project/census
Galois - Census
www.galois.com
July 24, 2025 at 7:18 PM
Learn more about our work with the Census Bureau and Differential Privacy here: www.galois.com/project/census