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
- Ben Adida (Harvard University)
- Josh Benaloh (Microsoft Research)
- Paul Miller (Washington State Voting Systems Manager)
- David Molnar (Microsoft Research)
- Ronald L. Rivest (MIT)
- Sanjit A. Seshia (University of California, Berkeley)
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
