Voting Technology

How should you cast your next vote? Electronically or on paper? In person or remotely? Microsoft Research is sponsoring a one-day workshop to explore the current landscape of voting technology and the new option of verifiable technologies which allow voters to independently check that their votes have been properly counted.

Speakers

Program

Morning Session

10:00 - 10:30 Paul Miller, Washington State Voting Systems Manager

Issues and research directions from the public sector

10:30 - 10:50 Sanjit A. Seshia, University of California, Berkeley

On Voting Machine Design for Verification and Testability

10:50 - 11:15 David Molnar, Microsoft Research

Some vulnerabilities in current systems

11:15 - 11:30 Break

11:30 - 12:30 Ben Adida, Harvard University

Truly Verifiable Elections

12:30 - 1:00 Lunch

Afternoon Session

1:00 - 1:30 Ronald L. Rivest, Massachusetts Institute of Technology

Scantegrity: overview and open problems

1:30 - 1:45 Discussion and Break

1:45 - 2:15 Josh Benaloh, Microsoft Research

Verified Optical Scan: overview and open probelms

2:15 - 2:30 Discussion and Break

2:30 - 3:00 Ben Adida, Harvard University

Helios: overview and open problems

3:00 - 3:15 Discussion and Break

3:15 - 3:45 Josh Benaloh and others

Pret-a-Voter: overview and open probelms

3:45 - 4:00 Discussion and Break

4:00 - 4:45 (as time allows) Other systems of interest to attendees -- possibly including MarkPledge, Punchscan, ThreeBallot, Stratch&Vote, and others