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

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

基本信息

项目摘要

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
简短公告:确定性共识和崩溃检查点:时间和通信效率
Light Agents Searching for Hot Information
  • DOI:
    10.24963/ijcai.2022/52
  • 发表时间:
    2022-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Kowalski;Dominik Pajak
  • 通讯作者:
    D. Kowalski;Dominik Pajak
The Hermes BFT for Blockchains
区块链 Hermes BFT
Adversarial Contention Resolution Games
对抗性竞争解决游戏
Towards a Robust Distributed Framework for Election-Day Voter Check-In
为选举日选民签到建立一个强大的分布式框架
  • DOI:
    10.1007/978-3-030-91081-5_12
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Alexander A. Schwarzmann
  • 通讯作者:
    Alexander A. Schwarzmann
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Alexander Schwarzmann其他文献

Alexander Schwarzmann的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Alexander Schwarzmann', 18)}}的其他基金

NSF Engines Development Award: Advancing cyber security technologies in the Central Savannah River Area (GA, SC)
NSF 引擎开发奖:推进萨凡纳河中部地区(佐治亚州、南卡罗来纳州)的网络安全技术
  • 批准号:
    2306109
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Cooperative Agreement
NSF Student Travel Grant for the 2022 International Symposium on Distributed Computing (DISC 2022)
2022 年分布式计算国际研讨会 (DISC 2022) 的 NSF 学生旅费补助金
  • 批准号:
    2237340
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
AF: Small: Collaborative Research: Principles of Robust Cooperative Computing in Dynamic Distributed Systems
AF:小型:协作研究:动态分布式系统中鲁棒协作计算的原理
  • 批准号:
    1017232
  • 财政年份:
    2010
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: Distributed Collaborative Computing and Adversity
协作研究:分布式协作计算和逆境
  • 批准号:
    0311368
  • 财政年份:
    2003
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
PostDoctoral Research Fellowship
博士后研究奖学金
  • 批准号:
    0209588
  • 财政年份:
    2002
  • 资助金额:
    $ 50万
  • 项目类别:
    Fellowship Award
Career: Principles and Practices of Dependable Distributed Computing
职业:可靠分布式计算的原理和实践
  • 批准号:
    9984778
  • 财政年份:
    2000
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Robust Algorithmic Building Blocks for Parallel Computing
用于并行计算的强大算法构建块
  • 批准号:
    9988304
  • 财政年份:
    2000
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
  • 批准号:
    92053110
  • 批准年份:
    2020
  • 资助金额:
    70.0 万元
  • 项目类别:
    重大研究计划
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
  • 批准号:
    81902805
  • 批准年份:
    2019
  • 资助金额:
    20.5 万元
  • 项目类别:
    青年科学基金项目
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
  • 批准号:
    41973063
  • 批准年份:
    2019
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
CORDEX-CORE区域气候模拟与预估研讨会
  • 批准号:
    41981240365
  • 批准年份:
    2019
  • 资助金额:
    1.5 万元
  • 项目类别:
    国际(地区)合作与交流项目
RBM38通过协助Pol-ε结合、招募core调控HBV复制
  • 批准号:
    31900138
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: NSF-DST: Understanding Network Structure and Communication for Supporting Information Authenticity
SaTC:核心:小型:NSF-DST:了解支持信息真实性的网络结构和通信
  • 批准号:
    2343387
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
NSF-NSERC: SaTC: CORE: Small: Managing Risks of AI-generated Code in the Software Supply Chain
NSF-NSERC:SaTC:核心:小型:管理软件供应链中人工智能生成代码的风险
  • 批准号:
    2341206
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
  • 批准号:
    2413046
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Socio-Technical Approaches for Securing Cyber-Physical Systems from False Claim Attacks
SaTC:核心:小型:保护网络物理系统免受虚假声明攻击的社会技术方法
  • 批准号:
    2310470
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Study, Detection and Containment of Influence Campaigns
SaTC:核心:小型:影响力活动的研究、检测和遏制
  • 批准号:
    2321649
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
  • 批准号:
    2317830
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
  • 批准号:
    2318843
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了