Collaborative Research: CT-CS: A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections (ACCURATE)

投票系统需要端到端的可信度，从空白选票和登记名单开始，以正确和可审计的标记选票计数结束，反映选民的选择。这种投票往返必须抵制资金充足和有组织的对手，其中可能包括开发，维护或部署选举机制的人，而且这个过程必须对所有公民开放，无论他们是否残疾或母语如何。该中心的研究调查软件架构，防篡改硬件，加密协议，以及各种验证系统（如纸张，音频，加密）在电子投票系统中可以发挥的作用。该中心还检查系统的可用性，并研究公共政策和行政程序如何与技术相结合，更好地保护投票系统。 投票系统的完整性问题是一个典型的硬网络信任问题，需要可信的系统架构，安全性，完整性，隐私性，匿名性，高保证和人机接口。投票系统必须保护选民的隐私和匿名性，以减少选民胁迫和贿赂的风险，但它们必须充分审计和透明，以便能够发现和纠正错误和错误。该中心的研究对如何组织，开发和评估不仅是投票系统，而且是具有端到端可信度要求的各种其他系统有了更深入的了解。

AbstractVoting systems require end-to-end trustworthiness, commencing with blank ballots and registration lists and concluding with the correct and auditable tallies of the marked ballots, reflecting the choices of the voters. This ballot round trip must resist well financed and organized adversaries that may include the very people who develop, maintain, or deploy the election machinery, and the process must be accessible to all citizens regardless of their disabilities or native language. The center's research investigates software architectures, tamper-resistant hardware, cryptographic protocols, and the role that various verification systems (e.g. paper, audio, cryptographic) can play in electronic voting systems. The center also examines system usability and studies how public policy and administrative procedures can, in combination with technology, better safeguard voting systems. The voting system integrity problem is a paradigmatic hard Cyber Trust problem, requiring trustworthy system architectures, security, integrity, privacy, anonymity, high assurance, and human-machine interfaces. Voting systems must preserve a voter's privacy and anonymity, to reduce risks of voter coercion and bribery, yet they must be sufficiently auditable and transparent to allow for mistakes and errors to be identified and reconciled. This center's research develops a deeper understanding of how to organize, develop, and evaluate not only voting systems, but a wide range of other systems with end-to-end trustworthiness requirements.