TWC: TTP Option: Small: Open-Audit Voting Systems---Protocol Models and Properties

TWC：TTP 选项：小型：开放审计投票系统---协议模型和属性

• 批准号: 1421373
• 负责人: Poorvi Vora
• 金额: $ 66.61万
• 依托单位: George Washington University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-09-01 至 2020-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1421373&HistoricalAwards=false
• 关键词: TWC; TTP; Option; Small; Open

Open-audit cryptographic voting protocols enable the verification of election outcomes, independent of whether election officials or polling machines behave honestly. Many open-audit voting systems have been prototyped and deployed. The City of Takoma Park, MD held its 2009 and 2011 city elections using voting system Scantegrity. Systems with similar properties are being proposed for use in Victoria, Australia (the Pret a Voter system) and Travis County, Texas (the STAR-Vote system). This project obtains rigorous results on the properties of in-person voting protocols'-in particular the Scantegrity, Pret a Voter and STAR-Vote protocols. It further examines the properties of classes of in-person protocols and the limits to their achievement of desirable properties. It thus improves our understanding of the security properties of voting systems that are being used in real governmental elections.The project proposes new protocols where voters and virtual observers use a peer network of untrusted computational assistants to improve protocol properties. It provides a software library for the development of open-audit voting systems.

开放审计加密投票协议可以验证选举结果，而不依赖于选举官员或投票机是否诚实。许多开放式审计投票系统已经原型化和部署。马里兰州塔科马帕克市使用投票系统Scantegrity举行了2009年和2011年的城市选举。具有类似性质的系统正在被提议用于澳大利亚的维多利亚（Pret a Voter系统）和德克萨斯州的特拉维斯县（STAR-Vote系统）。该项目获得了关于亲自投票协议的性质的严格结果-特别是Scantegrity，Pret a Voter和STAR-Vote协议。它进一步探讨了类的人的协议和限制，以实现理想的属性的属性。因此，它提高了我们的理解，正在使用的投票系统的安全性能在真实的governmental elections.该项目提出了新的协议，选民和虚拟观察员使用不可信的计算助理的对等网络，以改善协议的属性。它为开发开放审计投票系统提供了一个软件库。