A short and sweet version of my voting talk for the Harvard College Fund meeting. The talk started with Stuart Shieber and ended with Greg Morrisett. I haven't included their slides here, as I'm not sure what license they'd like to use.

1. Voters, Computers, and Trust:
Designing Verifiable Elections
Stuart M. Shieber
Ben Adida
Greg Morrisett
Center for Research on Computation and Society
October 18, 2008
School of Engineering and Applied Sciences
Harvard University

2. Secure Voting

3. • Voting is particularly challenging:
requires secrecy and public auditability.
• Computer science enables
qualitatively novel solutions.
• Cryptography can reconcile
seemingly contradictory requirements.

5. quot;That's for me and a
button to know.quot;
Joe, the plumber.

6. 6

7. 6

8. 6

9. 6

10. 6

11. 6

12. 6

13. 7

14. 7

15. “When I finally saw
the results of our tests,
I thought I was going to throw up.”
Sec. of State, Ohio, last week.

16. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

17. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

18. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

19. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

20. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

21. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

22. Fashionable Voting
http://www.cs.uiowa.edu/~jones/voting/pictures/9

23. Fashionable Voting
10

24. Voting is a
fundamentally
difficult problem.
11

26. 14
12

27. 14
12
1 person, 1 vote

28. Enforced Privacy
to ensure each voter
votes in his/her
own interest
13

29. http://www.cs.uiowa.edu/~jones/voting/pictures/ 14

30. 1892 - Australian Ballot
http://www.cs.uiowa.edu/~jones/voting/pictures/ 15

31. The Ballot Handoff
McCain
Alice the Voter
16

32. The Ballot Handoff
McCain
Alice the Voter
16

33. The Ballot Handoff
McCain
Alice the Voter
16

34. The Ballot Handoff
McCain
Alice the Voter
16

35. The Ballot Handoff
McCain Obama
Obama
Obama
McCain
McCain
McCain
Alice the Voter
16

36. The Ballot Handoff
McCain Obama
Obama
Obama
McCain
McCain
McCain
Alice the Voter Black Box
16

39. Chain of Custody
19

40. Chain of Custody
1
/*
* source
* code
*/
if (...
Vendor
19

41. Chain of Custody
1
/*
* source
* code
Voting */
2
Machine
if (...
Vendor
19

42. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
19

43. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
4
Alice
19

44. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
4
Alice
19

45. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
4
Alice
5
Ballot Box Collection
19

46. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
4
Alice
Results
5 6 .....
Ballot Box Collection
19

47. Chain of Custody
1
/*
* source
* code
Polling Voting */
3 2
Location Machine
if (...
Vendor
4
Alice
Results
5 6 .....
Ballot Box Collection
Black Box
19

48. Computers have only
obscured the process.
20

49. Computers have only
obscured the process.
What about
computer science?
20

50. Cryptography
solving problems that initially
appear to have conflicting
requirements.
21

51. Public-Key Encryption
Customer
22

52. Public-Key Encryption
public key
Customer
22

53. Public-Key Encryption
public key
enc(cc number)
Customer
22

54. Public Ballots
Bulletin Board
Bob:
McCain
Carol:
Obama
23

55. Public Ballots
Bulletin Board
Bob:
McCain
Carol:
Obama
Alice
23

56. Public Ballots
Bulletin Board
Alice: Bob:
Obama McCain
Carol:
Obama
Alice
23

57. Public Ballots
Bulletin Board
Alice: Bob:
Obama McCain
Carol:
Obama
Tally
Obama....2
McCain....1
Alice
23

58. Encrypted Public Ballots
Bulletin Board
Alice: Bob:
Rice Clinton
Carol:
Rice
Tally
Obama....2
McCain....1
Alice
24

59. Encrypted Public Ballots
Bulletin Board
Alice: Bob:
Rice Clinton
Carol:
Ali Rice
ce
ver Tally
ifies
he
rv Obama....2
ote
McCain....1
Alice
24

60. Encrypted Public Ballots
Bulletin Board
Alice: Bob:
Rice Clinton
Carol:
lly
Ali ta
Rice
ce e
thTally
ver es
rifi
ifies
e ve
he n
ryo
rv ve Obama....2
E
ote
McCain....1
Alice
24

61. How can we verify
operations on
encrypted data?
Mathematical Proofs.
25

62. Zero-Knowledge Proof
President:
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
Vote For:
Mickey Mouse
Obama
Vote For:
Obama
26

63. Zero-Knowledge Proof
President:
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
Vote For:
Mickey Mouse
Obama
Vote For:
Obama
26

64. Zero-Knowledge Proof
President:
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
President:
Mickey Mouse
Vote For:
Mickey Mouse
Obama
Vote For:
Obama
This last envelope
likely contains “Obama”
26

65. Zero-Knowledge Proof
President: President:
President: President:
Mickey Mouse Mickey Mouse
President: President:
Mickey Mouse Mickey Mouse
President: President:
Mickey Mouse Mickey Mouse
President: President:
Mickey Mouse Mickey Mouse
President: President:
Mickey Mouse Mickey Mouse
Vote For: Vote For:
Mickey Mouse
Mickey Mouse
McCain
Paul
Obama
Open envelopes don’t prove
anything after the fact.
27