Coercion-Resistant Registration for E-Voting with Verifiability and Usability in VSYS

Published in SOSP (to appear), 2025