CT-ISG: The Privacy and Verifiability of Practical Voting Systems

摘要：该研究项目研究了最近提出的投票系统的隐私和完整性属性，旨在向选民和选举观察员证明投票结果的正确性。隐私性和可验证性是投票系统的关键特征，其重要性怎么强调都不为过。该研究集中在两种类型的系统上：(1)使用混合网状组件的随机部分审计并向计算有界的攻击者透露信息的系统；(2)不使用密码学来构造选票的系统。该研究方法建立在投票的信息论模型上，以衡量隐私损失，并研究隐私和可验证性的基本限制。该研究对投票系统设计者和选举官员具有一定的实用价值。此外，该项目还有一个重要的推广部分，包括为高中密码学和投票系统教育编写课程材料。

Abstract:This research project studies the privacy and integrity properties of recently-proposed voting systems which aim to prove tally-correctness to voters and election observers. Privacy and verifiability are key characteristics of voting systems, and their importance cannot be overstated. The research focuses on two types of systems: (1) ones that use randomized partial audits of mixnet-like components and reveal information to computationally bounded adversaries, and (2) ones that do not use cryptography in the construction of ballots. The research approach builds on an information-theoretic model of voting to measure privacy loss and to study the fundamental limits of privacy and verifiability. The research has practical value for voting system designers and election officials. In addition, this project has a significant outreach component, including the development of course material for high school education in cryptography and voting systems.