5^th Workshop on Advances in Secure Electronic Voting

A Workshop Associated with Financial Crypto 2020
February 14, 2020
Shangri-La Tanjung Aru Resort & Spa
Kota Kinabalu, Sabah, Malaysia

Program

8:55 Opening Remarks (Matthew Bernhard and Peter Rønne)

9:00 Paper-based Voting Schemes

• Origami voting: a non-cryptographic approach to transparent ballot verification
  Enka Blanchard and Ted Selker


• Towards Improving the Efficacy of Code-Based Verification in Internet Voting
  Oksana Kulyk, Melanie Volkamer, Monika Müller and Karen Renaud


• Short paper: Mechanized proofs of Verifiability and Privacy in a paper-based e-voting scheme
  Marie-Laure Zollinger, Peter Roenne and P. Y. A. Ryan

10:30 Coffee Break

11:00 Audits and Vote Selling Prevention

• Sets of Half-Average Nulls Generate Risk-Limiting Audits: SHANGRLA
  Philip Stark


• A Note on Risk-Limiting Bayesian Polling Audits for Two-Candidate Elections
  Sarah Morin, Grant McClearn, Neal McBurnett, Poorvi Vora and Filip Zagorski


• Vote selling resistant voting
  Colin Boyd, Thomas Haines and Peter Roenne

12:30 Lunch

14:30 Mix Nets

• Short paper: An Update on Marked Mix-Nets: An Attack, A Fix and PQ Possibilities
  Thomas Haines, Olivier Pereira and Peter Roenne


• Performance of Shuffling: Taking it to the Limits
  Rolf Haenni and Philipp Locher

15:30 Break

16:00 Keynote by Peter Gutmann, shared with AsiaUSEC

16:45 Closing