Home // SnT // Research // APSIA // Events // Verifiable Voting Schemes Workshop - March 2019

Verifiable Voting Schemes Workshop - March 2019

Luxembourg, 19 March 2019

Campus Belval, L-4364 Esch-sur-Alzette

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, Norway 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, the second in 2017.

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

Venue

Location: Room MNO 1.030, Maison du Nombre, Belval

Getting here: https://wwwen.uni.lu/contact/belval_campus

Program

09:30

Welcome

09:35

Peter Y.A. Ryan

Risk-Limiting Tallies

09:45

Kristian Gjøsteen

A Post-Quantum Voting System

10:00

Johannes Müller

Ordinos: A Verifiable Tally-Hiding E-Voting System

10:40

Coffee break

11:10

Olivier Pereira

The sVote System

11:40

Thomas Haines

E-Voting and Coq

12:00

Gergei Bana

Convergence voting: from pairwise comparisons to consensus

12:30

Lunch at Dimmi Si

14:00

Clementine Gritti

A veto protocol in constrained networks

14:30

Marie-Laure Zollinger

Tamarin proofs of Selene Receipt-Freeness and Verifiability with Distributed Trust

15:00

Coffee break

15:30

Wojtek Jamroga

Extreme coercion-resistance

15:50

 Peter Roenne

Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption

16:20

End of workshop

16:30

Mast lecture, Moon Duchin, “Mathematical interventions in democracy”, MSA 3.110