Informatics, TU Vienna

Vote Counting as Mathematical Proof

Overview of the current state of electronic voting as used for legally binding elections throughout the world

Abstract

We give an overview of the current state of electronic voting as used for legally binding elections throughout the world. Of particular interest is the question of trust: what mechanisms are in place (or should be) so that the various stakeholders are in fact convinced that the final outcome of an electronic election is in fact consistent with the procedures outlined in law? We then specialise this question to the question of electronic vote counting, and present an approach to universal verifiability that enables a wide range of members of the general public to convince themselves of the correctness of ballot counting.

Biography

After receiving MSc and PhD from Ludwig-Maximilians Universität, München, Dirk held academic positions at the University of Leicester and Imperial College London (both UK) before taking up his present position of Associate Professor at the Australian National University in Canberra, Australia.
 

Note

This talk is part of the lecture series on research talks by the visiting professors of the Vienna PhD School of Informatics.