School of Computing

Event Item

Security Seminar: End-to-end verifiable elections

Date/Time: Tuesday 28th, February, 2017, 14:00-15:00

Venue: CLT 7.01

Speaker: Prof Aggelos Kiayias.

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.

BIO: Aggelos Kiayias is chair in Cyber Security and Privacy at the University of Edinburgh. He is also the Chief Scientist at blockchain technology company IOHK. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management. His research has been funded by the Horizon 2020 programme (EU), the European Research Council (EU), the Secretariat of Research and Technology (Greece), the National Science Foundation (USA), the Department of Homeland Security (USA), and the National Institute of Standards and Technology (USA). He has received an ERC Starting Grant, a Marie Curie fellowship, an NSF Career Award, and a Fulbright Fellowship. He holds a Ph.D. from the City University of New York and he is a graduate of the Mathematics department of the University of Athens. He has over 100 publications in journals and conference proceedings in the area. He currently serves as the program chair of the Financial Cryptography and Data Security conference.