RAPID: Secure Bulletin Boards and Absentee Voting in Real-World Independently-Verifiable Elections

RAPID:现实世界中可独立验证的选举中的安全公告板和缺席投票

基本信息

  • 批准号:
    1137973
  • 负责人:
  • 金额:
    $ 9.97万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2011
  • 资助国家:
    美国
  • 起止时间:
    2011-07-01 至 2013-06-30
  • 项目状态:
    已结题

项目摘要

The City of Takoma Park, MD made election history in November 2009 by holding the first independently-verifiable secret-ballot public election. Voters could, for the first time anywhere in the world, independently audit a secret-ballot governmental election using the Scantegrity voting system. This project improves on two aspects of the system used by Takoma Park in 2009. First, it provides an absentee voting protocol, Remotegrity, which enables absentee voters to benefit from the system?s verifiability properties. The protocol is designed to be simple enough for use in a real-world public election. Protocol properties are defined and proven rigorously, using the techniques of cryptographic proofs. Second, it improves upon the security of the election website by using the Composite component-based OS for a secure foundation. The website adapts to faults and compromises by dynamically decreasing the exposure of different clients to each other, thus preventing data corruption and resource starvation. The research provides a detailed design of a secure bulletin board for elections that goes beyond an abstract description of the cryptographic protocols used, decreasing the security vulnerabilities of the bulletin board. In particular, it makes the bulletin board less vulnerable to attempts by malicious clients to change the posted digital election audit trail or to launch massive denial-of-service attacks. The research is urgent because it is being considered for use in the November 2011 municipal election of the City of Takoma Park, MD, by its Board of Elections and City Council.
马里兰州塔科马帕克市在2009年11月举行了第一次可独立核实的无记名投票公开选举,创造了选举历史。世界上任何地方的选民第一次可以使用Scantigity投票系统独立审计无记名投票的政府选举。该项目对Takoma Park在2009年使用的系统的两个方面进行了改进。首先,它提供了一种缺席投票协议--远程诚信,使缺席选民能够受益于制度--S的可验证性属性。该协议设计得足够简单,可以在现实世界的公共选举中使用。协议属性是使用密码证明技术严格定义和证明的。其次,它通过使用基于复合组件的操作系统作为安全基础,提高了选举网站的安全性。该网站通过动态减少不同客户端对彼此的暴露来适应故障和妥协,从而防止数据损坏和资源匮乏。这项研究提供了一种用于选举的安全公告牌的详细设计,它超越了对所使用的密码协议的抽象描述,减少了公告牌的安全漏洞。特别是,它使公告牌不太容易受到恶意客户更改发布的数字选举审计跟踪或发动大规模拒绝服务攻击的企图的影响。这项研究迫在眉睫,因为马里兰州塔科马帕克市的选举委员会和市议会正在考虑将其用于2011年11月的市政选举。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

Poorvi Vora其他文献

Auctions and Differential Pricing: Optimal Seller and Bidder Strategies in Second-chance Offers
拍卖与差别定价:二次机会报价中最优卖家和投标者策略
  • DOI:
    10.1007/s10614-009-9169-3
  • 发表时间:
    2009-02-17
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    Yu-An Sun;Poorvi Vora
  • 通讯作者:
    Poorvi Vora

Poorvi Vora的其他文献

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

{{ truncateString('Poorvi Vora', 18)}}的其他基金

RAPID: Sequential Sampling in Stages for Statistical Election Audits
RAPID:统计选举审计的分阶段顺序抽样
  • 批准号:
    2015253
  • 财政年份:
    2020
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
TWC: TTP Option: Small: Open-Audit Voting Systems---Protocol Models and Properties
TWC:TTP 选项:小型:开放审计投票系统---协议模型和属性
  • 批准号:
    1421373
  • 财政年份:
    2014
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
EAGER: Electronic End-to-End Independently Verifiable (E2E) Voting Systems
EAGER:电子端对端独立可验证(E2E)投票系统
  • 批准号:
    0937267
  • 财政年份:
    2009
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
Statistical cryptanalysis of block ciphers as channel communication
作为通道通信的分组密码的统计密码分析
  • 批准号:
    0830576
  • 财政年份:
    2008
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
CT-ISG: The Privacy and Verifiability of Practical Voting Systems
CT-ISG:实用投票系统的隐私性和可验证性
  • 批准号:
    0831149
  • 财政年份:
    2008
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
SGER: A Performance Ratings Framework for the Evaluation of Electronic Voting Systems
SGER:电子投票系统评估的绩效评级框架
  • 批准号:
    0505510
  • 财政年份:
    2005
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant

相似海外基金

CAREER: Secure Miniaturized Bio-Electronic Sensors for Real-Time In-Body Monitoring
职业:用于实时体内监测的安全微型生物电子传感器
  • 批准号:
    2338792
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Continuing Grant
I-Corps: Translation Potential of a Secure Data Platform Empowering Artificial Intelligence Assisted Digital Pathology
I-Corps:安全数据平台的翻译潜力,赋能人工智能辅助数字病理学
  • 批准号:
    2409130
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
Collaborative Research: Conference: 2024 Aspiring PIs in Secure and Trustworthy Cyberspace
协作研究:会议:2024 年安全可信网络空间中的有抱负的 PI
  • 批准号:
    2404952
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
Collaborative Research: Learning for Safe and Secure Operation of Grid-Edge Resources
协作研究:学习电网边缘资源的安全可靠运行
  • 批准号:
    2330154
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
CAREER: Understanding and Ensuring Secure-by-design Microarchitecture in Modern Era of Computing
职业:理解并确保现代计算时代的安全设计微架构
  • 批准号:
    2340777
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Continuing Grant
SAFER - Secure Foundations: Verified Systems Software Above Full-Scale Integrated Semantics
SAFER - 安全基础:高于全面集成语义的经过验证的系统软件
  • 批准号:
    EP/Y035976/1
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Research Grant
Hardware Security Module for secure delegated Quantum Cloud Computing
用于安全委托量子云计算的硬件安全模块
  • 批准号:
    EP/Z000564/1
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Research Grant
REU Site: Embracing Blockchain for a Secure and Trustworthy Tomorrow
REU 网站:拥抱区块链,打造安全可信的明天
  • 批准号:
    2349042
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Standard Grant
Secure Cloud Computing from Cryptography:The Rise of Pragmatic Cryptography
从密码学中保护云计算:实用密码学的兴起
  • 批准号:
    FL230100033
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Australian Laureate Fellowships
Secure Management of Internet of Things Data for Critical Surveillance
关键监控物联网数据的安全管理
  • 批准号:
    LP230100276
  • 财政年份:
    2024
  • 资助金额:
    $ 9.97万
  • 项目类别:
    Linkage Projects
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了