The Decisive Power of Indecision: Low-Variance Risk-Limiting Audits and Election Contestation via Marginal Mark Recording. - Benjamin Fuller 001; Rashmi Pai; Alexander Russell (USENIX Security Symposium, 2024)