VAULT-Style Risk-Limiting Audits and the Inyo County Pilot | IEEE Journals & Magazine | IEEE Xplore