Vote Counting as Mathematical Proof
Overview of the current state of electronic voting as used for legally binding elections throughout the world
- Starts at
TU Wien, Campus Gußhaus
EI 3 Sahulka-Hörsaal
1040 Vienna, Gußhausstraße 25
Stiege 8, 2. Stock, CF0205
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.
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.
This talk is part of the lecture series on research talks by the visiting professors of the Vienna PhD School of Informatics.
- Assoc. Prof. Dirk Pattinson, Australian National University
Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!