Home // SnT // Research // APSIA // Events // Verifiable Voting Schemes Workshop - Oct 2017

Second Verifiable Voting Schemes Workshop

Luxembourg, 12-13 October 2017

JFK Building, 29 Avenue J.F Kennedy, L-1855 Luxembourg

The APSIA group of SnT and University of Luxembourg is intensively involved in the development of verifiable voting schemes and holds three international grants from FNR for collaboration with France, Belgium and Poland on this subject. This workshop aims at bringing together these and other international collaborators to exchanges ideas, experiences and lessons learnt.

The first iteration of the verifiable voting schemes workshop took place in 2013.

Sponsors: Fonds National de la Recherche (FNR), SnT, LACS, CSC, APSIA and University of Luxembourg

 

 

Steering Committee: Peter Y. A. Ryan (Chair), Peter B. Roenne

 

 

Local Organization: Peter Y. A. Ryan, Peter B. Roenne, Magali Martin

 

 

Programme:

Day 1 (Thursday Oct. 12th), Venue: Salle des Conseils, Campus Kirchberg (getting there)

10:00

Coffee

 

11:00

Welcome

 

11:10

Wojtek Jamroga

VoteVerif, main ideas and goals

11:20

Peter B. Roenne

SEQUOIA, overview of results

11:30

Peter Y. A. Ryan

SeVoTe, main ideas and goals

11:40

Olivier Pereira

Universally Verifiable MPC with Applications to IRV Ballot Counting

12:30

Lunch

-------------------------

14:00

Peter B. Roenne

An Overview of the Selene Mechanism

14:20

Sergiu Bursuc

Problems for e-voting with untrusted devices

14:40

Ben Smyth

Making ballot-secrecy proofs trivial

15:00

Constantin Catalin Dragan

Machine-checked proofs of privacy and verifiability for electronic voting

15:20

Coffee

-------------------------

16:00

Thomas Peters

Practical cryptographic solution towards Receipt freeness

16:40

Peter Y. A. Ryan

Relaxed Coercion Evidence

16:50

Alizée Amat

Batching zero knowledge proofs in voting protocols

17:30

Break

-------------------------

18:00

Bus to Château de Bourglinster

 

19:00

Dinner at Château de Bourglinster

Return at 21:30

Day 2 (Friday, Oct. 13th), Venue: Room E004/E005, JFK, Campus Kirchberg (getting there)

09:00

Coffee

 

09:30

Alizée Amat

Marked Mix-Nets

10:10

Michał Knapik

Preliminary attempts in multi-agent modelling of Selene

10:30

Marie-Laure Zollinger

Selene Voting Protocol

10:40

Coffee

-------------------------

11:00

Wojtek Jamroga

Natural Strategic Ability

11:40

Damian Kurpiewski

Fixpoint Approximation of Strategic Abilities under Imperfect Information

12:00

Gergei Bana

Vote Privacy of FOO and the Computationally Complete Symbolic Attacker

12:30

Lunch

-------------------------

14:00

Wojciech Penczek

Partial Order Reductions for a variant of ATL

14:20

Oksana Kulyk

Extending the Helios Internet Voting Scheme Towards New Election Settings

15:00

Peter Y. A. Ryan

Formalising Software Independence

15:20

Edouard Cuvelier

Astres - a cryptographic voting prototype

15:40

Arash Atashpendar

A Cursory Look at Quantum Information Processing and Quantum Voting

16:00

Closing

 

16:10

Coffee