On Tuesday 28th, February, 2017, Panoramix coordinator Aggelos Kiayias presented “End-to-end verifiable elections” during the Security Seminar at Newcastle University, School of Computing Science.
Abstract of the talk: How can we be capable to verify the tally of an election procedure that is produced digitally? Verifiability in the context of electronic voting is a property that has been studied over the years culminating in what is now being called end-to-end verifiability. We will describe recent advances in better understanding this notion and its interplay with privacy, as well as focus on how these were taken into account in the design and analysis of DEMOS, a practical e-voting system that was deployed in a number of occasions and is about to be released publicly.