wombat voting
DESCRIPTION
Wombat Voting. Alon Rosen IDC Herzliya July 20, 2012. Project Participants. Amnon Ta Shma (TAU) Douglas Wikstrom (KTH) Ben Riva (TAU) Niko Farhi (TAU) Morgan Llewellyn (IMT Lucca) Jonathan Ben-Nun - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/1.jpg)
Wombat Voting
Alon Rosen IDC Herzliya
July 20, 2012
![Page 2: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/2.jpg)
Amnon Ta Shma (TAU)
Douglas Wikstrom (KTH)
Ben Riva (TAU)
Niko Farhi (TAU)
Morgan Llewellyn (IMT Lucca)
Jonathan Ben-Nun
IDC Students: Tomer Gabbai, Doron Sharon, Shiran Kleiderman, Ido Bergerfroind, Asaf Gamliel, Daniel Rapaport, Omri Baumer, Asaf Inger, Eitan Grundland
Project Participants
![Page 3: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/3.jpg)
Electronic voting in Israel
![Page 4: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/4.jpg)
The Israeli System
![Page 5: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/5.jpg)
4 Years ago…
Well, introducing computers will help
us for sure
* Meir Shitrit, Israel’s former Minister of Interior
![Page 6: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/6.jpg)
Not what we hoped for...
The design process was problematic:• No public scrutiny• No open design
And, the resulting system was not satisfactory:• No paper trail• No transparency• …
![Page 7: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/7.jpg)
Why is this so challenging?
![Page 8: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/8.jpg)
![Page 9: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/9.jpg)
Secrecy vs. Verifiability
Voting system convince
Alice Carl the coercer
![Page 10: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/10.jpg)
1. Alice verifies her vote.
2. Everyone verifies tallying.
3. Alice cannot be coerced by Carl.
Desired Properties
![Page 11: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/11.jpg)
1892 - Australian Ballot
![Page 12: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/12.jpg)
Paper vs. Electronic
Paper elections• Local attacks• Lacks transparency
Electronic elections today• Global attacks• Undetectable• Unrecoverable• No transparency
Ideally• No local/global attacks• Full transparency
![Page 13: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/13.jpg)
What is Transparency?
Anyone can verify that:• their vote is cast as intended• the votes were counted as cast
![Page 14: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/14.jpg)
The Wombat Voting System
![Page 15: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/15.jpg)
Simple design.
Voter privacy.
End-to-end verifiability.
No need to trust the designers!
Main Features
![Page 16: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/16.jpg)
Objectives
Easy to use.Versatile.Paper backup.
![Page 17: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/17.jpg)
Public Ballots
Alice
Alice:Sweet Bridget:
Sweet
Carol:Salty
TallySweet….2Salty…...1
![Page 18: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/18.jpg)
Encrypted Public Ballots
Alice:Sweet Bridget:
Sweet
Carol:Salty
TallySweet….2Salty…...1
Alice verifies her voteEveryone verifie
s the tally
Alice
![Page 19: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/19.jpg)
System components
Dual ballotVoting machinePolling station committeePublic bulletin boardMixnet
Vote
glue
![Page 20: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/20.jpg)
The Ballot
א א
glue glue
![Page 21: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/21.jpg)
Voting Booth
• Vote selection• Ballot printing
• Hardware– Touch screen– Printer
![Page 22: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/22.jpg)
Polling Station
• Voter identification• Vote casting • Hardware
– A desktop computer– 2D barcode scanner
![Page 23: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/23.jpg)
Website (Hebrew)
![Page 24: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/24.jpg)
Website (English)
![Page 25: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/25.jpg)
Elections set-up
![Page 26: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/26.jpg)
Voting
![Page 27: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/27.jpg)
Simple and Familiar
![Page 28: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/28.jpg)
Tallying
Encrypted votes are mixed by the mixnet.Mixed decrypted votes and proofs of correctness
are published in the Bulletin board.Paper votes may be tallied according to policy.
![Page 29: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/29.jpg)
Auditing
Auditing the machine (“cast as intended”):Audit by users using Android application.Random audit by designated auditors.
Auditing the bulletin board.Android application.
Validation of mixnet proofs of correctness:Built-in verifier.2 Independent verifiers.
![Page 30: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/30.jpg)
Verification (manual)
![Page 31: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/31.jpg)
Verification (phone)
![Page 32: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/32.jpg)
Behind the scenes
Auditing the booth: cast-or-audit
![Page 33: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/33.jpg)
Behind the scenes
Auditing the booth: cast-or-audit
Auditing the tally: Verifiable Mixnet
![Page 34: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/34.jpg)
Elections with Wombat
IDC Student council elections: May 17-19 2011
Meretz party chairman: February 7, 2012
IDC Student council elections: May 21-23 2012
![Page 35: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/35.jpg)
IDC 2011 Elections
Non-profit college with ~6000 students.28 different races.Students eligible to vote on multiple races.2097 students voted.
![Page 36: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/36.jpg)
Some Statistics
Voting took 1-2 minutes:30 Seconds for voter identification30 Seconds for scanning the ballot
579 voters verified ballot at bulletin boardStudents encouraged to verify with a coveted prize(2 x faculty parking spots).
![Page 37: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/37.jpg)
Questionnaire
403 students answered an on-line survey.78 answered a random exit survey.
Students encouraged to answer by offering prize.
High levels of voter satisfaction and confidence.The processes of folding ballots and validating
votes should be improved.
![Page 38: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/38.jpg)
Questionnaire
“How satisfied are you with your voting experience?”
“The Voting Process Was Clear and Simple”Very satisfied Satisfied Somewhat dissatisfied Very dissastisfied Don't know
0.00%10.00%20.00%30.00%40.00%50.00%60.00%70.00%
Online surveyExit survey
Strongly agree Somewhat agree Neither agree or disagree
Disagree somewhat Strongly disagree0.00%
10.00%20.00%30.00%40.00%50.00%60.00%70.00%80.00%
Did not verifyVerified ballot
![Page 39: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/39.jpg)
Meretz Party Leader
Party leader elected by party council consisting of 950 representatives.
Highly diverse set of voters:Age (many over 50), gender, education, ethnicity…
830 (88%) voted.23 voters verified
their vote.
![Page 40: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/40.jpg)
IDC 2012 Elections
2120 Students voted.Only 16 students checked their votes.
![Page 41: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/41.jpg)
Difficulties & Lessons
Technical difficulties:Electricity power loss.Printer hanging.
Difficulties in folding the ballot.Mitigated by volunteers instructing voters before
entering the voting booth.
![Page 42: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/42.jpg)
Pictures
![Page 43: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/43.jpg)
Pictures
![Page 44: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/44.jpg)
Pictures
![Page 45: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/45.jpg)
Pictures
![Page 46: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/46.jpg)
Pictures
![Page 47: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/47.jpg)
Pictures
![Page 48: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/48.jpg)
Pictures
![Page 49: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/49.jpg)
Pictures
![Page 50: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/50.jpg)
Pictures
![Page 51: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/51.jpg)
Pictures
![Page 52: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/52.jpg)
Pictures
![Page 53: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/53.jpg)
Pictures
![Page 54: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/54.jpg)
Pictures
![Page 55: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/55.jpg)
Pictures
![Page 56: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/56.jpg)
Pictures
![Page 57: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/57.jpg)
Pictures
![Page 58: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/58.jpg)
Pictures
![Page 59: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/59.jpg)
Pictures
![Page 60: Wombat Voting](https://reader036.vdocuments.us/reader036/viewer/2022081517/56816421550346895dd5e29c/html5/thumbnails/60.jpg)
Website URL
http://www.wombat-voting.com