BAT 2017

E-Voting - Herausforderung anKryptographie und Praxis

Stephan Fischli, Philipp Locher, Benjamin Fankhauser

e-voting.bfh.ch

3. November 2017

Einfuhrung

I Warum sprechen wir (immer noch) uber E-Voting?

Ý Hohe Anforderungen:Korrektheit + Verifizierbarkeit + Wahlgeheimnis

Ý Komplexe Systeme (fachlich/technisch/organisatorisch)

I Brauchen wir uberhaupt E-Voting?

Ý Digitale GesellschaftÝ Enabling Technologie (z.B. Auslandschweizer)Ý Kostenersparnis

E-Voting - Herausforderung an Kryptographie und Praxis Page 3

Umfeld

I Privater Bereich

Ý Firmen, Pensionskassen, VereineÝ Unterschiedliche Sicherheitsanforderungen

I Offentlicher Bereich

Ý Bund, Kantone, GemeindenÝ Hochste Sicherheitsanforderungen (z.B. sichere Endgerate)Ý Aktuell 8 Kantone mit Grundbewilligung und 2 produktive

Systeme (Genf und Post)Ý Uberfuhrung der Versuchsphase in Normalbetrieb

E-Voting - Herausforderung an Kryptographie und Praxis Page 4

E-Voting Gruppe der BFH

I Forschung zu E-Voting (kryptographische Protokolle)I Zusammenarbeit mit

Ý BundeskanzleiÝ KantonenÝ SystemanbieterÝ Firmen

I PoC mit UniVote fur Studentenratswahlen SchweizerUniversitaten

I Vollstandig verifizierbares E-Voting Systems fur dennicht-offentlichen Bereich

E-Voting - Herausforderung an Kryptographie und Praxis Page 5

Einfuhrung

Kryptographie

Praktische Aspekte

E-Voting - Herausforderung an Kryptographie und Praxis Page 6

Traditionelles papierbasiertes Abstimmen

E-Voting - Herausforderung an Kryptographie und Praxis Page 7

Remote E-Voting

E-Voting - Herausforderung an Kryptographie und Praxis Page 8

End-to-End Verifizierbarkeit

E-Voting - Herausforderung an Kryptographie und Praxis Page 9

Verifizierbares E-Voting

E-Voting - Herausforderung an Kryptographie und Praxis Page 10

Eigenschaften eines E-Voting Systems

Verifizierbarkeit Das finale Resultat kann verifiziert werden(Kombination aus individueller und universellerVerifizierbarkeit)

Wahlgeheimnis Das Wahlgeheimnis ist garantiert, wenn moglichfur immer und bedingungsslos

Angriffsresistenz Ein Erpresser oder Betruger kann den Wahlernicht fur ihn uberprufbar beieinflussen

E-Voting - Herausforderung an Kryptographie und Praxis Page 11

Bulletin Board

E-Voting - Herausforderung an Kryptographie und Praxis Page 12

Abstimmung Nationalrat (srf.ch)

Namensliste der Stimmberechtigten, Erbil 2017 (nzz.ch)

Bulletin Board

E-Voting - Herausforderung an Kryptographie und Praxis Page 12

Abstimmung Nationalrat (srf.ch)

Namensliste der Stimmberechtigten, Erbil 2017 (nzz.ch)

Bulletin Board

E-Voting - Herausforderung an Kryptographie und Praxis Page 13

Mix-Net

E-Voting - Herausforderung an Kryptographie und Praxis Page 14

Zero-Knowledge Proof

E-Voting - Herausforderung an Kryptographie und Praxis Page 15

Zero-Knowledge Proof

E-Voting - Herausforderung an Kryptographie und Praxis Page 15

Zero-Knowledge Proof

E-Voting - Herausforderung an Kryptographie und Praxis Page 16

Zero-Knowledge Proof

E-Voting - Herausforderung an Kryptographie und Praxis Page 17

Einfuhrung

Kryptographie

Praktische Aspekte

E-Voting - Herausforderung an Kryptographie und Praxis Page 18

Architektur

E-Voting - Herausforderung an Kryptographie und Praxis Page 19