4^th Workshop on Advances in Secure Electronic Voting

A Workshop Associated with Financial Crypto 2019
February 22, 2019
St. Kitts Marriott Resort
St. Kitts

Program

8:55 Opening Remarks (Jeremy Clark and Peter Rønne)

9:00 Auditing

• Election Manipulation 100
  Michelle Blom, Peter Stuckey and Vanessa Teague


• Bernoulli Ballot-Polling: A Manifest Improvement for Risk-Limiting Audits
  Kellie Ottoboni, Matthew Bernhard, J. Alex Halderman, Ron Rivest and Philip Stark


• k-Cut: A Simple Approximately-Uniform Method for Sampling Ballots in Post-Election Audits
  Mayuri Sridhar and Ronald Rivest

10:30 Coffee Break

11:00 Panel

• Real World Verifiable Elections: Future or Fata Morgana?
  Panelists: Olivier Pereira, Peter Y A Ryan, Vanessa Teague and Filip Zagórski
Moderator: Jeremy Clark

12:30 Lunch

14:00 Efficiency and Usability in E-Voting

• How to Assess the Usability Metrics in E-Voting Schemes?
  Karola Marky, Marie-Laure Zollinger, Markus Funk, Peter Y. A. Ryan and Max Mühlhäuser


• Improving the Performance of Cryptographic Voting Protocols (SoK)
  Rolf Haenni, Philipp Locher and Nicolas Gailly


• Short Paper: Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption
  Peter B. Roenne, Arash Atashpendar, Kristian Gjøsteen and Peter Y. A. Ryan.

15:30 Break

16:00 New Protocols

• Priv-Apollo - Secret Ballot E2E-V Internet Voting
  Filip Zagorski, Poorvi Vora and Hua Wu


• End-to-End Verifiable Quadratic Voting with Everlasting Privacy
  Olivier Pereira and Peter Roenne


• Lattice-based proof of a shuffle
  Nuria Costa, Ramiro Martinez and Paz Morillo