印度选举审计
密码学与安全
2019-01-28 v2
摘要
印度的电子投票机（EVM）将配备打印机，在2019年大选前生成可 voter 验证的纸质审计轨迹（VVPAT）。VVPAT提供了每一票均按选民意图记录的凭证，而无需信任EVM的完美性或安全性。然而，对选举结果的信心还需要更多：VVPAT必须完好无损地保存，然后以公众可验证的可信方式实际用于核查所报告的选举结果。对VVPAT进行完整的人工清点可能成本高昂且耗时；此外，公众难以判断完整的人工计票是否准确进行。我们展示了风险限制审计（RLA）如何能为印度选举结果提供高度信心。与完整人工重计相比，当结果正确时，RLA通常只需手动检查远少的VVPAT，并且选民更容易充分细致地观察以确定结果是否可信。
引用
@article{arxiv.1901.03108,
title = {Auditing Indian Elections},
author = {Vishal Mohanty and Nicholas Akinyokun and Andrew Conway and Chris Culnane and Philip B. Stark and Vanessa Teague},
journal= {arXiv preprint arXiv:1901.03108},
year = {2019}
}