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

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

Jan 23, 2015

Download

News & Politics

hackdemocracy

Presentation by Olivier de Marneffe, "erifiable online elections: the future of voting?".
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
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