Alon Rosen IDC Herzliya July 20 2012 Amnon Ta Shma TAU Douglas Wikstrom KTH Ben Riva TAU Niko Farhi TAU Morgan Llewellyn IMT Lucca Jonathan BenNun IDC Students ID: 241601
Download Presentation The PPT/PDF document "Wombat Voting" is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.
Slide1
Wombat Voting
Alon Rosen IDC
Herzliya
July 20, 2012Slide2
Amnon
Ta
Shma
(TAU)
Douglas Wikstrom (KTH)Ben Riva (TAU)Niko Farhi (TAU)Morgan Llewellyn (IMT Lucca)Jonathan Ben-NunIDC Students: Tomer Gabbai, Doron Sharon, Shiran Kleiderman, Ido Bergerfroind, Asaf Gamliel, Daniel Rapaport, Omri Baumer, Asaf Inger, Eitan Grundland
Project ParticipantsSlide3
Electronic voting in IsraelSlide4
The Israeli SystemSlide5
4 Years
ago…
Well, introducing computers will help us for sure
* Meir Shitrit, Israel’s former Minister of InteriorSlide6
Not what we
hoped for...
The design process
was
problematic:No public scrutinyNo open designAnd, the resulting system was not satisfactory:No paper trailNo transparency…Slide7
Why is this so challenging?Slide8
Slide9
Secrecy vs. Verifiability
Voting system
convince
Alice
Carl the coercerSlide10
Alice
verifies
her vote
.Everyone verifies tallying.Alice cannot be coerced by Carl.Desired PropertiesSlide11
1892 - Australian Ballot
Slide12
Paper vs. Electronic
Paper elections
Local attacks
Lacks transparency
Electronic elections today Global attacks Undetectable Unrecoverable No transparency
Ideally
No local/global attacks
Full transparencySlide13
What is Transparency?
Anyone can verify that:
t
heir vote is
cast as intendedthe votes were counted as castSlide14
The Wombat Voting
S
ystemSlide15
Simple
design.
Voter
privacy.
End-to-end verifiability. No need to trust the designers!Main FeaturesSlide16
Objectives
Easy to use.Versatile.Paper backup.Slide17
Public Ballots
Alice
Alice
:
SweetBridget:SweetCarol:SaltyTallySweet….2Salty…...1Slide18
Encrypted Public Ballots
Alice
:
Sweet
Bridget:SweetCarol:SaltyTallySweet….2Salty…...1Alice verifies her voteEveryone verifies the tallyAliceSlide19
System components
Dual ballot
Voting machine
Polling station committee
Public bulletin boardMixnetVoteSlide20
The
Ballot
א
אSlide21
Voting Booth
Vote
selection
Ballot printing
HardwareTouch screenPrinterSlide22
Polling Station
Voter identification
Vote casting
HardwareA desktop computer2D barcode scannerSlide23
Website (Hebrew) Slide24
Website (English) Slide25
Elections set-upSlide26
VotingSlide27
Simple and FamiliarSlide28
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.Slide29
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.Slide30
Verification (manual)Slide31
Verification (phone)Slide32
Behind the scenes
Auditing the booth:
cast-or-audit
Slide33
Behind the scenes
Auditing the booth:
cast-or-audit
Auditing the tally:
Verifiable MixnetSlide34
Elections with Wombat
IDC Student council elections: May 17-19 2011Meretz party chairman: February 7, 2012IDC Student council elections: May 21-23 2012Slide35
IDC 2011 ElectionsN
on-profit college with ~6000 students.28 different races.Students eligible to vote on multiple races.2097 students voted.Slide36
Some StatisticsVoting took 1-2 minutes:
30 Seconds for voter identification30 Seconds for scanning the ballot579 voters verified ballot at bulletin boardStudents encouraged to verify with a coveted prize
(2 x faculty parking spots).Slide37
Questionnaire403 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.Slide38
Questionnaire
“How satisfied are you with your voting experience?”“The Voting Process Was Clear and
Simple”Slide39
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.Slide40
IDC 2012 Elections2120 Students voted.
Only 16 students checked their votes.Slide41
Difficulties & LessonsTechnical difficulties:
Electricity power loss.Printer hanging.Difficulties in folding the ballot.Mitigated by volunteers instructing voters before entering the voting booth.Slide42
PicturesSlide43
PicturesSlide44
PicturesSlide45
PicturesSlide46
PicturesSlide47
PicturesSlide48
PicturesSlide49
PicturesSlide50
PicturesSlide51
PicturesSlide52
PicturesSlide53
PicturesSlide54
PicturesSlide55
PicturesSlide56
PicturesSlide57
PicturesSlide58
PicturesSlide59
PicturesSlide60
Website URL
http://www.wombat-voting.com