VAULT-Style Risk-Limiting Audits and the Inyo County Pilot. - Josh Benaloh; Kammi Foote; Philip B. Stark; Vanessa Teague; Dan S. Wallach (IEEE Secur. Priv., 2021)