Creating and sharing knowledge for telecommunications

Central Security Requirements of E-Voting Systems: Verifiability, Accountability, and Coercion-Resistance

on 08-06-2010

... Ralf Kuesters (University of Trier)

Note exceptional week day and room.

June 8, 2010, Tuesday, 16h15m.

Systems for electronic voting (e-voting systems), including systems for voting over the Internet and systems for voting in a voting booth, are supposed to simplify the process of carrying out elections and
potentially make the voting process more secure and reliable. These systems are among the most challenging and complex security-critical systems, with a rich set of intricate security requirements they have to fulfill. For example, besides keeping the votes of individual voters private (privacy of
votes), they should allow voters to check that their votes were counted correctly (verifiability), since voting machines might have programming errors or might have been tampered with. By providing voters with receipts of how they voted, this problem on its own is easy to solve. However, at the same time vote buying and voter coercion should be prevented
(coercion-resistance). Moreover, in case a problem occurs, it should be possible to hold election officials accountable for their misbehavior (accountability). In recent work, we have formalized important security
requirements for e-voting systems, including coercion-resistance, verifiability, and accountability. In this talk, I will discuss these requirements informally and sketch our formal definitions. I will also present several state-of-the-art voting systems and discuss their security with respect to our security definitions. The talk is intended for a broad audience and does not require any background on e-voting systems or cryptography.

This talk is based on joint work with Tomasz Truderung and Andreas Vogt.

Location: Room P4.35, Post-Graduation Building.

More Information..

Workshop on Quantum Private Telecommunications 22 April 2010, Instituto de Telecomunicações - Aveiro

on 22-04-2010


This one-day workshop is organized by the Security and Quantum Information Group (SQIG) and the Optical Communications group (OC-Av) of Instituto de Telecomunicações (IT) within the context of the FCT project QuantPrivTel – Quantum Private Telecommunications. The objective is to present and discuss the achievements obtained so far, both in terms of the theoretical quantum protocols for private telecommunications and of the preparation of their experimental implementation with single photons in optical fibers.

Time and place
The workshop will take place on Thursday 22nd April 2010,
in Anfiteatro, at the Instituto de Telecomunicações site in Aveiro (Campus Universitário de Santiago).

The workshop is open to anyone interested. Participation is free, but an e-mail registration is necessary to attend the meeting.
Please contact Sandra Corujo by 20 April indicating your intention to participate: sandra (at)

Further information
For further information about the workshop, contact Yasser Omar (yasser.omar (at) or Armando Nolasco Pinto.


10h30 - Carlos Salema (IT & UTL), Welcome address

10h40 - Yasser Omar (IT & UTL), Introduction to quantum information

11h10 - Keynote speaker: Andreas Poppe (Austrian Research Center), The SECOQC quantum key distribution network in Vienna

11h55 - Armando Nolasco Pinto (IT & UAveiro), Physical Layer Security Through Quantum Communications

12h25 - Lunch break

14h00 - Keynote speaker: Vicente Martin (Universidad Politécnica de Madrid), Quantum key distribution in optical switched networks

14h45 - Coffee break

15h00 - Paulo Mateus (IT & UTL), Quantum authentication protocols

15h30 - Nikola Paunkovic (IT), Quantum contract signing protocol

16h00 - Final discussion and quantum optics laboratory tour

16h30 - End

Further information
For further information about the workshop, see:
or contact Yasser Omar (yasser.omar (at) or Armando Nolasco Pinto.
More Information..