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.
Beginners Guide to TikTok for Search - Rachel Pearson - We are Tilt __ Bright...
Secure Voting
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
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