Internet Voting Cryptographic Protocols

Monday, August 25, 2014 - 3:30pm
Harold Frank Hall 1132
Mehmet Sabır Kiraz, Mathematical and Computational Sciences Lab TUBITAK BILGEM, Turkey
Cetin Kaya Koc


This talk first briefly surveys the security and the privacy aspects of e-voting. The talk will cover a description about the requirements for e-voting, types of different e-voting systems and underlying cryptographic primitives (cryptographic voting protocols, authentication, anonymity, homomorphic encryption, zero-knowledge proofs, verifiability, threshold encryption techniques, mix-nets etc.). We will also describe the Norwegian Internet Voting Protocol which is ran trials during the 2011 local government elections and the 2013 parliamentary elections.


Mehmet Sabır Kiraz completed his bachelor's from Mathematics department at Middle East Technical University, Turkey in 2000. In October-2002, he started his M.Sc. studies (with full scholarship) at International Max Planck Research Institute for Computer Science, Germany and finished in November-2003. His thesis title was Formalization and Verification of Informal Security Protocol Description. He then finished his Ph.D. from Computer Science department at Eindhoven Technical University, the Netherlands in March-2008. His thesis title was Secure and Fair Two-Party Computation. After his PhD studies he worked at PHILIPS, Eindhoven and TOMTOM, Amsterdam between 2008 and 2010. Since January 2010 he has been working at TÜBİTAK BİLGEM as a researcher and responsible of the MCS labs ( His main research interests include cryptographic protocols, privacy preserving protocol, (anonymous/biometric) authentication, e-ID/e-Government, secure multi-party computation, homomorphic encryption, secure cloud computing and electronic voting.

Everyone welcome!