Theory and Security of Voting Systems (TSVS, SoSe 2026)

Lecture 2 hours, Kirsten; exercises 2 hours, Kirsten

For BSc students, the course is officially called "Theory and Security of Voting Systems for Bachelor".

Overview

Voting is an important part of democratic societies and potentially has a broad impact. Yet, with or without the use of modern technology, voting is full of algorithmic and security challenges, and the failure to address these challenges in a controlled manner may produce fundamental flaws in the voting system and potentially undermine critical societal aspects.

In this lecture, we discuss voting systems from various perspectives, notably social choice theory, security, and cryptography. What should a voting system fulfill? When is a voting system secure, even independent of the involved software? Which mechanisms should be investigated for that matter? Which methods are suitable to address these challenges?

We will investigate cryptographic voting systems, algorithmic tallying procedures, statistical methods to test the reliability of an election result, and distinguish the different layers of a voting system.

Preliminary Knowledge

Foundations on cryptography and security, as taught, for instance, in the lecture IT-Sicherheit, are recommended. Moreover, we make an effort to coordinate the cryptography parts of the lecture with the practical "Cryptography" that you can optionally take in parallel.

Organization

• 2+2 hours per week

• Lecturer: Dr. Michael Kirsten

• Teaching assistant: Dr. Michael Kirsten

Please register for the Moodle course.

Events