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.
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
Public Ballots
Bulletin Board
Bob:
McCain
Carol:
Obama
Alice
23
Public Ballots
Bulletin Board
Alice: Bob:
Obama McCain
Carol:
Obama
Alice
23
Public Ballots
Bulletin Board
Alice: Bob:
Obama McCain
Carol:
Obama
Tally
Obama....2
McCain....1
Alice
23
Encrypted Public Ballots
Bulletin Board
Alice: Bob:
Rice Clinton
Carol:
Rice
Tally
Obama....2
McCain....1
Alice
24
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
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
How can we verify
operations on
encrypted data?
Mathematical Proofs.
25