Speaker: Mai Hamdalla
Day:  Wednesday, 11/28/2007
Room: ITEB 336
Time: 2:00-3:00pm

Title : Simulation-based analysis of E2E voting systems

Abstract.
End-to-end auditable voting systems are expected to guarantee very
interesting, and often sophisticated security properties, including
correctness, privacy, fairness, receipt-freeness, . . . However, for many
well-known protocols, these properties have never been analyzed in a
systematic way. In this talk, the use of techniques from the
simulation-based security tradition will be investigated for the analysis
of these protocols, through a case-study on the ThreeBallot protocol. 

Reading : 
Simulation-based analysis of E2E voting systems
Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater.
Proceedings of the First Conference on E-Voting and Identity (VOTE-ID
2007), Volume 4896 of Lecture Notes in Computer Science, pages 137-149,
Springer, November 2007.