Olivier de Marneffe [email protected] HackDemocracy Meetup#3 February 2011 verifiable online elections the future of voting?
Jan 23, 2015
Olivier de [email protected]
HackDemocracy Meetup#3February 2011
verifiableonline
electionsthe future of voting?
let’s try it now!Have you ever voted
in an online poll?
let’s try it now!Do you believe
your votewas accurately
taken into account?
what do we observe?
obviously correctbut no secrecy: votes are public
“obviously” secretbut no correctness: difficult to believe in the outcome
correctness vs? secrecyco
rrect
ness
secrecy
publicbulletin board
smartballot tracker
9scWvNiaWypRUK9JIXP2po6tCLVBNLi4vZoeDr85pFs
electionoutcome
(2*4)+(3*5) =
7 8 9 +
4 5 6 -
1 2 3 x
C 0 = ÷
encryptedelectionoutcome
publicbulletinboard
publicmath
operations
electionoutcome
(2*4)+(3*5) =
7 8 9 +
4 5 6 -
1 2 3 x
C 0 = ÷
publicbulletinboard
publicmath
operations
verifiable electionsstrong
confidence intally correctness
vote secrecyunder reasonable
assumptions
2009UCLouvain - Rector ElectionPrinceton University - Undergrad Government Election
2010UCLouvain - Student Body ElectionInternational Association of Cryptology Research - Board
... more to come this year
some helios-based elections
Olivier de [email protected]
HackDemocracy Meetup#3February 2011
the future of voting
verifiable(online)
elections