18th Estonian Winter School in Computer Science (EWSCS)
XVIII Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2013

Ralf Küsters


Fachbereich IV - Informatik
Universität Trier
Germany

Central Security Requirements and Analysis of E-Voting Systems

Abstract

Systems for electronic voting (e-voting systems), including systems for voting over the Internet and systems for voting in a voting booth, are employed in many countries. However, most of the systems used in practice today do not provide a sufficient level of security. For example, programming errors and malicious behavior easily go undetected. In fact, numerous problems with e-voting systems have been reported in various countries.

Therefore, in recent years modern e-voting systems have been designed that strive to achieve a rich set of fundamental but at the same time intricate and seemingly contradictory security requirements. For example, besides keeping the votes of individual voters private (privacy of votes), they try to allow voters to check that their votes were counted correctly, even if voting machines and authorities are malicious (verifiability/accountability). Some of these systems also try to prevent vote buying and voter coercion (coercion resistance).

In this course, we will cover central security requirements of e-voting systems, including those mentioned above, and how they can be formally defined. We will take a close look at several (modern) e-voting systems and study in how far these systems satisfy such requirements.

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed April 17, 2016 21:07 EET by local organizers, ewscs13(at)cs.ioc.ee
EWSCS'13 page: http://cs.ioc.ee/ewscs/2013/