9^th Workshop on Advances in Secure Electronic Voting

A Workshop Associated with Financial Crypto 2024
March 8, 2024
Curacao Marriott Beach Resort
Willemstad, Curaçao

Program

9:15 Opening Remarks

9:30 Election Audits

• RLAs for 2-Seat STV Elections: Revisited
  Michelle Blom, Peter J. Stuckey, Vanessa Teague, and Damjan Vukcevic


• Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections
  Alexander Ek, Philip B. Stark, Peter J. Stuckey, and Damjan Vukcevic

10:30 Coffee Break

11:00 Election Security Properties

• Systematic User Evaluation of a Second Device based cast as intended Verifiability Approach
  Tobias Hilt, Benjamin Berens, Tomasz Truderung, Margarita Udovychenko, Stephan Neumann, and Melanie Volkamer


• On the Applicability of STARKs to Counted-as-Collected Verification in Exisitng Homomorphically E-Voting Systems
  Max Harrison and Thomas Haines


• "You Shall not Abstain!" A Formal Study of Forced Participation
  Wojciech Jamroga, Yan Kim, Peter Roenne, and Peter Y. A. Ryan

12:30 Panel Discussion

Future of the workshop

13:00 Closing & Lunch