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.
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) av.it.pt
For further information about the workshop, contact Yasser Omar (yasser.omar (at) lx.it.pt) 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
For further information about the workshop, see: http://www.quantprivtel.org/workshop-aveiro-2010.html
or contact Yasser Omar (yasser.omar (at) lx.it.pt) or Armando Nolasco Pinto.