SaTC: CORE: Small: A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in

SaTC：核心：小型：具有严格语义和安全保证的强大框架，用于选举日选民签到

基本信息

批准号：
2131538
负责人：
Alexander Schwarzmann
金额：
$ 50万
依托单位：
AUGUSTA UNIVERSITY RESEARCH INSTITUTE, INC.
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2021
资助国家：
美国
起止时间：
2021-10-01 至 2024-09-30
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=2131538&HistoricalAwards=false
关键词：
SaTC CORE Small Robust Framework

项目摘要

The broad concerns surrounding the integrity and security of electronic election systems used in the 2016 and 2020 Presidential Elections underscored the need for a rigorous scientific approach to designing and implementing such systems. While substantial research has been dedicated to electronic processing of ballots, vote aggregation, and audits, the very first step that enables voters to cast their votes on Election Day and that ensures the “one voter, one vote” imperative has not been the target of sufficient research. Moreover, in 2018 the Committee on the Future of Voting of the National Academies of Science, Engineering, and Medicine expressed serious concerns and risks associated with the use of electronic pollbooks. This project focuses on the problem of voter check-in in elections, an area that received surprisingly little attention from the community of researchers working on electronic election systems. The project’s novelties are the development of a rigorous scientific foundation for electronic check-in systems and the construction on that basis of a human-centric reference implementation that reflects the legal requirements for such systems. The project's broader significance and importance are potentially substantial savings to the taxpayer by developing and making available the technology ready to be used in constructing secure and trustworthy electronic poll book systems. This project proceeds along three dimensions: (a) socio-political, (b) software foundations, and (c) system implementation and evaluation. The project advances the state of the art in addressing the electronic check-in challenges, and the project includes the development of a reference implementation, serving as a proof of concept and used for evaluation purposes. The resulting system will be a secure and trustworthy electronic pollbook solution whose main purpose is to ensure "one voter, one vote" on Election Day. An electronic pollbook system is an inherently a dynamic distributed system where multiple check-in devices and/or servers must operate in concert in providing “one voter, one vote” guarantee, with security, integrity and auditability, and despite possible failures and the resulting need to dynamically reconfigure this distributed system on the fly. Such a system represents a convergence of several difficult problems in distributed computing as this includes: the need to reach consensus, the need to replicate for availability and fault-tolerance, the challenge of guaranteeing data consistency and longevity, the requirement for secure operation, the need to guarantee correctness in all executions, the ability to dynamically evolve the systems either because of failure or for reasons of performance. Equally importantly, electronic pollbooks is not a theoretical endeavor, but an important component of our democratic process in the digital age. This project develops and will make available the technology for constructing electronic poll book systems that are human-centric and that are based on rigorous research. The project involves graduate students, who are mentored by the investigators, and who are involved in research on the critically important problems of security and integrity in electronic election systems.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

围绕 2016 年和 2020 年总统选举中使用的电子选举系统的完整性和安全性的广泛担忧凸显了需要采用严格的科学方法来设计和实施此类系统，同时大量研究致力于选票的电子处理、选票聚合、审计和审计是选民在选举日投票并确保“一个选民一票”必要性的第一步，但尚未成为 2018 年未来委员会充分研究的目标。美国国家科学、工程和医学院投票委员会表达了与使用电子民意调查簿相关的严重担忧和风险。该项目重点关注选举中的选民签到问题，而令人惊讶的是，这一领域很少受到社区的关注。该项目的新颖之处在于为电子签到系统开发了严格的科学基础，并在此基础上构建了以人为本的参考实施方案，满足了此类系统的法律要求。可能会节省大量资金由纳税人开发并提供可用于构建安全可靠的电子民意调查簿系统的技术。该项目沿着三个方面进行：（a）社会政治，（b）软件基础，以及（c）系统实施和。该项目推进了解决电子签到挑战的最新技术，并且该项目包括开发参考实施，作为概念验证并用于评估目的。值得信赖的电子民意调查解决方案，其主要目的是确保“一电子民意调查系统本质上是一个动态分布式系统，其中多个签到设备和/或服务器必须协同运行，以提供“一个选民一票”的保证，并具有安全性、完整性和可靠性。可审计性，尽管可能出现故障并因此需要动态地重新配置该分布式系统，但这样的系统代表了分布式计算中几个难题的融合，其中包括：需要达成共识、需要复制以实现可用性和安全性。容错性，挑战保证数据一致性和寿命、安全操作的要求、保证所有执行的正确性的需要、由于故障或性能原因而动态改进系统的能力。同样重要的是，电子民意调查簿不是理论上的努力，而是。该项目开发并将提供用于构建以人为中心且基于严谨研究的电子民意调查系统的技术。研究人员以及参与研究的人员该奖项反映了 NSF 的法定使命，并通过使用基金会的智力价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Brief Announcement: Deterministic Consensus and Checkpointing with Crashes: Time and Communication Efficiency

简短公告：确定性共识和崩溃检查点：时间和通信效率

DOI：
10.1145/3519270.3538471
发表时间：
2022-01
期刊：
PODC'22: Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing
影响因子：
0
作者：
Chlebus, Bogdan S.;Kowalski, Dariusz R.;Olkowski, Jan
通讯作者：
Olkowski, Jan

Improved communication complexity of fault-tolerant consensus

提高容错共识的通信复杂度

DOI：
10.1145/3519935.3520078
发表时间：
2022-06
期刊：
STOC 2022: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing
影响因子：
0
作者：
Hajiaghayi, Mohammad T.;Kowalski, Dariusz R.;Olkowski, Jan
通讯作者：
Olkowski, Jan

Triggerability of Backdoor Attacks in Multi-Source Transfer Learning-based Intrusion Detection

DOI：
10.1109/bdcat56447.2022.00013
发表时间：
2022-12-01
期刊：
2022 IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT)
影响因子：
0
作者：
Nour Alhussien;Ahmed Aleroud;Reza Rahaeimehr;A. Schwarzmann
通讯作者：
A. Schwarzmann

Towards a Robust Distributed Framework for Election-Day Voter Check-In

为选举日选民签到建立一个强大的分布式框架