High-Integrity Election Systems

We design, build, test, and analyze voting systems that enable voters to verify that their votes are cast, collected, and counted correctly.

Current Projects:

The VoteXX project is developing strategies for mitigating coercion in all forms of voting, including Internet voting.

Website: votexx.org     Publication

The RSV project is developing techniques for replacing mass elections with random sample elections.  The project includes a way to create a beacon that broadcasts a verifiable stream of truly random bits.

Website:  rsvoting.org     Publication

We are developing techniques for carrying out secure verifiable elections in a single room.


A family of security enhancements for optical scan voting systems, providing such systems with end-to-end (E2E) verifiability of election results.

Learn More