Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification. - Aman Rojjha; Gaurang Tandon; Varul Srivastava; Kannan Srinathan (CoRR, 2026)