VAULT-Style Risk-limiting Audits and the Inyo County Pilot

被引：2

作者：

Benaloh, Josh ^{[1
]}

Foote, Kammi

Stark, Philip B. ^{[2
]}

Teague, Vanessa ^{[3
]}

Wallach, Dan S. ^{[4
,5
]}

机构：

[1] Microsoft Res, Redmond, WA 98052 USA

[2] Univ Calif Berkeley, Berkeley, CA 94720 USA

[3] Thinking Cybersecur, Sydney, NSW, Australia

[4] Rice Univ, Houston, TX 77251 USA

[5] VotingWorks, Redwood City, CA USA

来源：

IEEE SECURITY & PRIVACY | 2021年 / 19卷 / 04期

关键词：

D O I：

10.1109/MSEC.2021.3075107

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In 2020, Inyo County, California partnered with nonprofit VotingWorks to pilot the use of the Verifiable Audits Using Limited Transparency technique (called VAULT) to conduct an efficient, privacy-preserving, publicly verifiable risk-limiting audit of seven contests in the November general election. We describe VAULT, the pilot, and the software implementation that made this pilot possible.

引用

页码：8 / 18

页数：11