The seminar focus will be to exchange and discuss current research of PhD students, in particular governance, organization and technical set-up of both polling station and Internet-based e-voting.
This seminar continues the tradition of PhD workshops on e-voting. Since 2006 the PhD seminars have focused on various aspects of e-voting including technical aspects, legal challenges, identity management, verifiability of the vote, etc. The seminars took place in various locations in Austria, Denmark, Estonia, Germany, Luxembourg, Catalonia, and Switzerland.The goal of the seminar series is to foster understanding and collaboration between PhD students from various disciplines working on e-voting. To this end, the program allows plenty of space for discussion and initiating collaboration based on presentations by attendees.
The target audience is:
PhD students in the field of e-voting (computer scientists, mathematicians, logicians, legal experts, public administration, political science, social scientists, cryptographers, anthropologists, etc.);
PhD students in related areas, where privacy, authentication, integrity and trust play a role, and for whom e-voting constitutes an interesting application domain;
Master students in e-voting and related areas are welcome to participate. Proposals for presentations will be considered if possible.
Academics and professionals with an interest in the topic of e-voting and who are willing to assist the participating PhD students with their research are welcome to join the seminar.
The programme starts on Monday, April 9 at 11:00 (local time) and will finish on Friday, April 10. More detailed schedule is as follows:
Day 1, 9.04
11:00-11:10: Welcome
11:10-12:40: Session 1 - Cryptographic protocols
Marie-Laure Zollinger - Paper-ballot Voting with Selene
Damian Kurpiewski - Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics
12:45-14:00: Lunch at Il Camineto (Kronenstraße 5, 76133 Karlsruhe)
14:00-15:30: Session 2 - Formal analysis
Michael Kirsten - Explaining Voting Rules by Examples Using Automated Reasoning
Itsaka Rakotonirina - The DEEPSEC prover
15:30-15:45: Coffee Break
15:45-16:30: Discussion Panel
18:00: Dinner at Besitos (Karl-Friedrich-Str. 9, 76133 Karlsruhe)
Day 2, 10.04
10:00-11:30: Session 3 - Socio-technical aspects
Iuliia Krivonosova - How to calculate the election administration costs? The case-study of Estonia.
Samuel Agbesi - Electronic Voting (E-Voting) Adoption in Developing Countries: Ghana as a Case Study
11:30-11:45: Coffee Break
11:45-12:30: Discussion Panel
12:30-12:45: Closing
13:00: Lunch at Bratar (Am-Ettlinger-Tor-Platz 1, 76133 Karlsruhe)
The colloquium will be located at the Karlsruhe Institute of Technology (https://www.kit.edu) in Karlsruhe, Germany. It will take place in Room 1A-11, Building 05.20 (see the campus plan and the guide on how to reach the location). The dates are April 9-10th in 2018. There is no registration fee.
Each interested participant should submit his/her research proposal (or alternatively ideas for papers, open problems, or other issues where feedback from colleagues would be helpful etc.) of some two pages length using the conference platform: https://easychair.org/conferences/?conf=evotingphd2018
During the venue, each PhD student presents his research proposal and there will be enough time to discuss the content with the PhD students and senior researchers.
For information and general enquiries please contact Oksana Kulyk (oksana.kulyk@secuso.org).