trust in e-voting - federal council€¦ · trust in e-voting 33 political rightssection ordinance...
TRANSCRIPT
![Page 1: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/1.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Trust in E-Voting
Oliver Spycher at Swiss Cyber Storm
Bern, 30th October 2018
![Page 2: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/2.jpg)
2Trust in E-Voting
Political Rights Section
E-Voting introduced by Cantons
![Page 3: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/3.jpg)
3Trust in E-Voting
Political Rights Section
• Trials since 15 years
• Open to 3.8% of the overall electorate (September 2018)
• Security first
Moving ahead step by step
www.bk.admin.ch
![Page 4: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/4.jpg)
4Trust in E-Voting
Political Rights Section
People need to trust that…
• Result reflects the voters’ intentions
• Secrecy of the vote is respected
…even if they’re not an observer
![Page 5: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/5.jpg)
5Trust in E-Voting
Political Rights Section
Trust in Will and Ability
![Page 6: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/6.jpg)
6Trust in E-Voting
Political Rights Section
Trust One Trustee
…out of many
![Page 7: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/7.jpg)
7Trust in E-Voting
Political Rights Section
Trust in Will and Ability
![Page 8: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/8.jpg)
8Trust in E-Voting
Political Rights Section
E-Voting cannot be trusted…
• Transparency…
• …inherently impossible
• …only towards experts
• …eats secrecy
• No meaningful recounts
• And anyhow, administrations will fail
![Page 9: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/9.jpg)
9Trust in E-Voting
Political Rights Section
Sure about that?
![Page 10: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/10.jpg)
10Trust in E-Voting
Political Rights Section
Trust through verification
![Page 11: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/11.jpg)
11Trust in E-Voting
Political Rights Section
Trust through re-verification
![Page 12: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/12.jpg)
12Trust in E-Voting
Political Rights Section
Trust through verification
![Page 13: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/13.jpg)
13Trust in E-Voting
Political Rights Section
Trust through re-verification
![Page 14: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/14.jpg)
14Trust in E-Voting
Political Rights Section
Summing up votes is verifiable…
Ja : 2
Nein: 1
…by checking equations
![Page 15: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/15.jpg)
15Trust in E-Voting
Political Rights Section
Full Verifiability
Voters or observers verify that votes have been
cast as intended
recorded as cast
tallied as recorded
![Page 16: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/16.jpg)
16Trust in E-Voting
Political Rights Section
Cast as intended
Taken from the online demo-system by Swiss Post at e-voting.ch
![Page 17: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/17.jpg)
17Trust in E-Voting
Political Rights Section
Cast as intended
Return-code element
Return-code element
Return-code element
Retu
rn c
ode
Return-code element
Ballot-BoxVoter
![Page 18: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/18.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Recorded as cast
![Page 19: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/19.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Tallying
![Page 20: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/20.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Tallying
![Page 21: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/21.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Secrecy
![Page 22: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/22.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Secrecy
![Page 23: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/23.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Secrecy
![Page 24: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/24.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ballot-Box
Secrecy
![Page 25: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/25.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Secrecy
![Page 26: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/26.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Tallied as recorded
![Page 27: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/27.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Tallied as recorded
=?
![Page 28: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/28.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Tallied as recorded
Can be verified and re-verified
By checking equations
=
![Page 29: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/29.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Tallied as recorded
Full chain can be verified and re-verified
By checking equations
= = = =
![Page 30: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/30.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ja : 2
Nein: 1
Tallied as recorded
Full chain can be verified and re-verified
By checking equations
= = = =
=
=
=
=
=
![Page 31: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/31.jpg)
Bundeskanzlei BK
Sektion Politische Rechte
Ja : 2
Nein: 1
Tallied as recorded
Full chain can be verified and re-verified
By checking equations
= = = =
=
=
=
=
=
![Page 32: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/32.jpg)
32Trust in E-Voting
Political Rights Section
Ordinance of the FCh on E-Voting
Voters or obervers need to be able to detect
fraud, assuming that
• 1 out 4 trustees is behaving correctly
• Printing office does not leak codes
![Page 33: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/33.jpg)
33Trust in E-Voting
Political Rights Section
Ordinance of the FCh on E-Voting
• Crypto-Protocol
• Proof of compliance
• Audit of proof
• Certification
• Accredited by Swiss Accreditation Service
• Software EAL2 / EAL4
• ISO27001
• Source Code Publication
![Page 34: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/34.jpg)
34Trust in E-Voting
Political Rights Section
Public Intrusion Test
• Decision by Confederation and Cantons
• 1.Q 2019 enabled by Swiss Post
• Pre-Register: https://pit.post.ch/
Tell your friends!
![Page 35: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/35.jpg)
35Trust in E-Voting
Political Rights Section
Conclusion
• Verifiability as a foundation of trust
• Required by the FCh ordinance
• Assessed through certification
• Documented towards the public
![Page 36: Trust in E-Voting - Federal Council€¦ · Trust in E-Voting 33 Political RightsSection Ordinance of the FCh on E-Voting • Crypto-Protocol • Proof of compliance • Audit of](https://reader034.vdocuments.site/reader034/viewer/2022043010/5f9ee709d1a1180de3119fad/html5/thumbnails/36.jpg)
36Trust in E-Voting
Political Rights Section
Contact:
Oliver Spycher
Dep. Project Leader Vote électronique
www.bk.admin.ch