hackdemocracy brussels 3 - verifiable online elections: the future of voting?

13
Olivier de Marneffe [email protected] HackDemocracy Meetup#3 February 2011 verifiable online elections the future of voting?

Upload: hackdemocracy

Post on 23-Jan-2015

244 views

Category:

News & Politics


0 download

DESCRIPTION

Presentation by Olivier de Marneffe, "erifiable online elections: the future of voting?".

TRANSCRIPT

Page 1: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

Olivier de [email protected]

HackDemocracy Meetup#3February 2011

verifiableonline

electionsthe future of voting?

Page 2: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

let’s try it now!Have you ever voted

in an online poll?

Page 3: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

let’s try it now!Do you believe

your votewas accurately

taken into account?

Page 4: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

what do we observe?

obviously correctbut no secrecy: votes are public

“obviously” secretbut no correctness: difficult to believe in the outcome

Page 5: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

correctness vs? secrecyco

rrect

ness

secrecy

Page 6: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

publicbulletin board

Page 7: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

smartballot tracker

9scWvNiaWypRUK9JIXP2po6tCLVBNLi4vZoeDr85pFs

Page 8: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

electionoutcome

(2*4)+(3*5) =

7 8 9 +

4 5 6 -

1 2 3 x

C 0 = ÷

encryptedelectionoutcome

publicbulletinboard

publicmath

operations

Page 9: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

electionoutcome

(2*4)+(3*5) =

7 8 9 +

4 5 6 -

1 2 3 x

C 0 = ÷

publicbulletinboard

publicmath

operations

Page 10: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

verifiable electionsstrong

confidence intally correctness

vote secrecyunder reasonable

assumptions

Page 11: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

http://heliosvoting.org

Page 12: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

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

Page 13: HackDemocracy Brussels 3 - Verifiable online elections: the future of voting?

Olivier de [email protected]

HackDemocracy Meetup#3February 2011

the future of voting

verifiable(online)

elections