7^th Workshop on Advances in Secure Electronic Voting

A Workshop Associated with Financial Crypto 2023
May 5, 2023
Bluesun Hotel Elaphusa
Bol, Brač, Croatia

Program

8:50 Opening Remarks

9:00 Risk-limiting Audits

• COBRA: comparison-optimal bets for risk-limiting audits
  Jacob V. Spertus


• Risk-Limiting Audits for Condorcet Elections
  Michelle Blom, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic


• Overstatement-Net-Equivalent Risk-Limiting Audit: ONEAudit
  Philip Stark

10:30 Coffee Break

11:00 Analysis of Existing Systems

• Belenios with cast as intended
  Véronique Cortier, Alexandre Debant, Pierrick Gaudry, Stéphane Glondu


• On the Auditability of the Estonian IVXV System and an Attack on Individual Verifiability
  Anggrio Sutopo, Thomas Haines, and Peter Roenne

12:00 Lunch

14:00 New Proposals

• Coercion-Resistant Cast-as-Intended Verifiability for Computationally Limited Voters
  Tamara Finogina and Javier Herranz


• Private Internet Voting on Untrusted Voting Devices
  Rolf Haenni, Reto E. Koenig and Philipp Locher

15:00 Panel Discussion

From Research Papers to Ballot Papers: How our community shapes real-world election practice

15:30 Closing