An Incoercible E-Voting Scheme Based on Revised Simplified Verifiable Re-encryption Mix-nets
对简化的可验证重加密混合网（SVRM）进行了改进，并在此基础上提出了一种电子投票系统方案，该方案使电子投票系统能够满足选举的所有基本要求。也就是说，他们满足隐私，可验证性，公平性和鲁棒性的要求。它还成功地保护选民免受胁迫者的侵害，但胁迫者强迫选民弃权的情况除外。具体而言，选民可以隐藏他们与选票之间的对应关系，任何人都可以验证选举结果的准确性，临时选举结果对任何实体都是隐藏的。关于不可否认性，如果可擦除状态投票亭使选民无法记住他们与选举当局之间交换的用于构建选票的完整信息，胁迫者C无法知道被C胁迫的选民选择的候选人，即使候选人对选民来说是唯一的。此外，即使在非法处理选票的情况下，也可以在不重新选举的情况下完成选举。
2015-12-17 cs.CR
Collusion-Resistant Worker Set Selection for Transparent and Verifiable Voting
当分布式协议的多个恶意参与者一起破坏或监视诚实的参与者时，就会发生共谋。去中心化协议通常依赖于称为工作者的参与者子集进行关键操作。工作者之间的共谋可能对协议的安全性特别有害。我们提出了两个协议，选择一个子集的工人从一组参与者，使工人勾结在一起的概率最小化。我们的第一个解决方案是一个去中心化的协议，它以可验证的方式随机选择工人，而不需要任何可信实体。第二种解决方案是一种算法，该算法使用参与者的社交图和社区发现来选择社交距离较远的工人，以降低共谋的概率。我们在Schiedermeier等人提出的分散式投票协议的背景下提出了我们的解决方案。[24]保证了透明度和可验证性。为了确保民主投票，实现抗共谋显然是至关重要的，因此投票协议为我们的解决方案提供了一个合适的用例。
2022-06-15 cs.CR
Towards end-to-end verifiable online voting: adding verifiability to established voting systems
独立选举的在线投票通常由可信的选举提供商支持。通常，这些提供商不提供任何方式，选民可以验证他们的投票，所以提供商与选票隐私和确保正确性信任。尽管希望为政治选举提供在线投票，但这种缺乏透明度和可核查性的情况往往被视为大规模采用在线选举的重大障碍。为在线选举增加可验证性可以提高透明度和完整性，使选民能够验证他们的投票是否被正确记录并包含在计票中。然而，用那些提供可验证投票的系统取代现有的在线系统需要部署新的算法和代码，这给商业选举提供商带来了重大的商业风险。在本文中，我们提出的第一步，在一个渐进的方法，最大限度地减少了业务风险，但证明了可验证性的优势，通过开发一个基于Selene的可验证性层的关键要素的实现，并将其添加到一个可操作的在线投票系统。Selene是一个可验证的投票协议，它使用跟踪器使选民能够确认他们的投票被正确捕获，同时保护选民匿名。这导致了一个系统，即使运行该系统的选举当局也不能以不可察觉的方式改变结果，并对选举的完整性提供了比以前更强的保证。我们探讨了在操作系统中添加可验证层所带来的挑战。我们描述了两个初步试验的结果，调查受访者发现这种形式的可验证性易于使用，他们广泛赞赏it.We总结概括的路线图中的进一步步骤，部署一个完全值得信赖的在线投票系统。
2021-11-17 cs.CR
Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election
2014年11月的澳大利亚维多利亚州选举是世界上第一次在州一级的法定政治选举，在投票站部署了端到端可验证的电子投票系统。这是盲人选民第一次能够以可验证的方式进行完全无记名投票，也是第一次在政治选举中使用可验证的投票系统来收集远程选票。代码是开源的，选举的输出是可验证的。该系统从这些特定群体中获得了1121张选票，比2010年有所增加，但投票点较少。
2015-04-27 cs.CR cs.CY
Boardroom Voting: Verifiable Voting with Ballot Privacy Using Low-Tech Cryptography in a Single Room
董事会选举是在一个单独的房间里进行的选举-董事会-所有选民都可以看到和听到对方。我们提出了一个初步的探索董事会选举与选票隐私和选民验证，只使用“低技术密码学”，而不使用计算机来标记或收集选票。具体来说，我们定义的问题，介绍了几个积木，并提出了一个新的协议，结合这些块在新的方式。我们的新构建模块包括“可折叠选票”，可以旋转以隐藏选票选择与投票标记的对齐，以及易于记忆和使用但难以描述的“视觉秘密”。虽然在董事会选举中，坐得很近的参与者的隐私有限，但该协议确保没有人可以决定其他人如何投票。此外，每个选民都可以验证他们的选票是否正确投票，收集和计数，而无需证明他们是如何投票的，从而确保不受不当影响。低技术加密在选民不信任计算机技术的情况下很有用，它避免了端到端加密投票系统（如Prêt-à-Voter）的复杂审计要求。本文的构建块和协议旨在作为概念验证，可以测试其可用性并进行改进。
2021-03-18 cs.CR
Publicly Understandable Electronic Voting: A Non-Cryptographic, End-to-End Verifiable Scheme
本文提出一种非加密的端到端可验证方案，通过公共公告板和物理收据实现无软件验证，提升选举透明度和公众信任。
2026-03-23 cs.CR
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
网络公告板（WBB）是可验证选举系统的关键组成部分。它用于选举核查，以公布选民和官员可以检查的投票和计票证据，并在发生渎职行为时提出质疑。在实践中，选举当局有责任正确可靠地实施网络公告板，并希望确保即使在出现故障和攻击的情况下也能正确运作。为了确保健壮性，实现通常会使用许多对等点，以便即使在某些对等点出现故障或行为不诚实时也能够提供正确的服务。在本文中，我们提出了一个新的协议来实现这样一个Web公告板，出于vVote可验证投票系统的需要。使用分布式算法增加了协议的复杂性，并且需要仔细的推理以建立正确性。在这里，我们使用事件B建模和细化的方法来建立正确的对等设计对理想化规范的公告板的行为。特别是，我们表明，对于n个同行，阈值t > 2n/3同行的行为正确的是足以确保正确的行为的公告板分布式设计。即使诚实或不诚实的节点暂时退出协议然后返回，该算法也能正确地运行。验证方法还确定公告板内使用的协议不会相互干扰。这是第一次正式验证对等网络公告板协议套件。
2014-01-16 cs.CR
Phrase-Verified Voting: Verifiable Low-Tech Remote Boardroom Voting
我们提出短语验证投票，选民可验证的远程投票系统组装从商业现成的软件，用于小型私人选举。该系统是透明的，使每个选民能够验证计票包括他们的选票选择，而不需要任何密码学的理解。本文介绍了该系统及其在2020年秋季的使用，在一所大学的晋升委员会中进行远程投票。每个投票者在云中填写一张表格，上面有他们的投票V（是、否、弃权）和一个密码短语P--投票者输入的两个单词。系统生成（P，V）对的验证提示和投票计数，组织起来以帮助可视化投票是如何加起来的。投票结束后，每个投票人都要验证这个表是否列出了他们的（P，V）对，以及计票是否正确。该系统特别适合任何做出敏感决策的小团体。由于该系统不会阻止胁迫者要求受害者使用指定的密码，因此它不是为可能发生这种不法行为或无法检测到这种不法行为的应用程序而设计的。43名选民的投票结果表明，该系统得到广泛接受，有效地实现了预期目的，并向用户介绍了选民核实选举的概念。与常用的纸质选票或电子邮件投票相比，选民发现该系统更容易使用，而且它提供了更大的隐私和结果完整性。
2021-03-12 cs.CR cs.HC
A Quantum-Secure Voting Framework Using QKD, Dual-Key Symmetric Encryption, and Verifiable Receipts
本文提出融合 QKD、双密钥对称加密与可验证收据的量子安全投票框架，并通过 MQTT 模拟量子与经典信道，验证其低延迟、低错误率的高效大规模投票处理能力。
2025-10-03 cs.CR quant-ph
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability
Selene是一个电子投票协议，允许选民直接检查他们的个人投票，在明文中，通过跟踪系统在最终计票，同时提供良好的胁迫缓解。这与传统的端到端可验证方案形成对比，在传统的端到端可验证方案中，投票者验证在公告板上存在她的投票的加密。Selene机制可以应用于许多电子投票方案，但在这里，我们提出了一个应用程序的投票站的情况下，在选民可验证的电子符合与纸质审计跟踪。该系统使用基于智能卡的公钥系统来提供个体验证和通用资格验证。纸质记录包含与选民身份的加密链接，需要比普通纸质投票更强的选票隐私假设，但具有提供良好的可验证性和争议解决以及支持（比较）风险限制审计的好处。
2021-05-31 cs.CR
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version)
本研究通过300人实验评估Selene协议无收据投票机制，发现信任与理解正相关，为首个针对电子投票买票问题的用户研究。
2024-07-18 cs.CR cs.HC
Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems
电子投票系统是改善民主的强大技术。不幸的是，现有的投票系统具有单点故障，这可能损害选举结果的可用性、隐私性或完整性。我们提出的设计，实现，安全分析和评估的D-DEMOS套件的分布式，隐私保护，端到端的可验证的电子投票系统。我们提出了两个系统：一个异步和一个最小的时间假设，但更好的性能。我们的系统包括一个分布式的投票收集子系统，不需要代表选民的加密操作。我们还包括一个分布式、可复制和容错的公告板组件，该组件存储所有必要的选举相关信息，并允许任何一方阅读和验证完整的选举过程。最后，我们加入了受托人，他们控制结果的产生，同时保证隐私和端到端的可验证性，只要他们的绝大多数是诚实的。我们的电子投票系统套件是第一个其投票操作是人类可验证的，即，即使当投票者的web客户端堆栈潜在地不安全时，投票者也可以在web上投票，而不牺牲其隐私，并且仍然可以确保她的投票被记录为已投。此外，选民可以将选举审计外包给第三方，而不会牺牲隐私。我们提供了一个模型和系统的安全分析，实现完整的原型，实验测量其性能，并证明其处理大规模选举的能力。最后，我们展示了两个版本的系统之间的性能权衡。我们的系统的初步版本被用于在两次国家级选举的三个投票站进行退出民意调查，并正在被希腊最大的工人工会采用，该工会由50多万成员组成。
2016-08-02 cs.CR cs.DC
D-DEMOS: A distributed, end-to-end verifiable, internet voting system
电子投票系统已经成为一种强大的技术，通过降低选举成本，提高选民参与度，甚至允许选民直接验证整个选举程序来改善民主。先前的互联网投票系统具有单点故障，这可能导致可用性、选民保密性或选举结果的完整性的妥协。在本文中，我们提出的设计，实现，安全性分析和评估的D-DEMOS，一个完整的电子投票系统，是分布式的，隐私保护和端到端的可验证的。我们的系统包括一个完全异步的投票收集子系统，它可以立即向选民保证她的投票被记录为投票，而不需要代表选民进行加密操作。我们还包括一个分布式、可复制和容错的公告板组件，该组件存储所有必要的选举相关信息，并允许任何一方阅读和验证完整的选举过程。最后，我们还成立了受托人，即，控制选举结果产生的个人，同时保证隐私和端到端的可验证性，只要他们的绝大多数是诚实的。我们的系统是第一个电子投票系统，其投票操作是人类可验证的，即，即使当投票者的web客户端堆栈潜在地不安全时，投票者也可以在web上投票，而不牺牲其隐私，并且仍然可以确保她的投票被记录为已投。此外，选民可以将选举审计外包给第三方，而不会牺牲隐私。最后，随着审计人员数量的增加，选举舞弊未被发现的可能性呈指数级下降。我们提供了一个模型和系统的安全性分析。我们实现了一个完整的系统的原型，我们测量其性能实验，我们证明了它的能力，以处理大规模的选举。
2015-12-19 cs.CR cs.DC
A Simple Voting Protocol on Quantum Blockchain
提出了一种基于量子区块链的简单投票协议。除了简单，我们的投票协议是匿名的，绑定的，不可重用的，可验证的，合格的，公平的和自我清点。我们的协议也是目前的技术实现。
2018-06-04 cs.CR quant-ph
Publicly verifiable delegative democracy with secret voting power
本研究提出一种基于Merkle树的承诺方案，在保护公民隐私的前提下实现投票权转移与可逆委托的公开验证，明确了委托、转移、撤销及投票各环节的操作规则。
2023-05-05 cs.CR cs.DS cs.SI
OpenVoting: Recoverability from Failures in Dual Voting
本文提出OpenVoting协议，结合密码学验证与纸质审计，在选举验证失败时无需重跑整个选举即可恢复，识别无误投票子集及失败原因，对选民认知负担小。
2023-09-07 cs.CR cs.CY
Always on Voting: A Framework for Repetitive Voting on the Blockchain
本文提出始终在线投票（AoV）框架，利用比特币谜题预言机、可验证延迟函数和智能合约，使参与者能随时私下更改投票并在随机化纪元结束时生效，从而解决选举间隔过长和峰终效应问题。
2023-09-24 cs.CR
Blockchain-Based Secure Online Voting Platform Ensuring Voter Anonymity, Integrity, and End-to-End Verifiability
本研究针对在线投票的隐私与安全顾虑，提出结合私有链存加密选票、公链锚定哈希及盲签名令牌保匿名的混合区块链投票模型，实现了原型并验证其可行性与实用性。
2025-09-30 cs.CR
Contribution of Herv{é} Suaudeau for the mission of the French Senate Law Commission on electronic voting on 25 January 2018
这篇文章调查了非物质化投票与法国宪法第3条之间的兼容性，该条规定“投票必须始终是普遍、平等和秘密的”。电子投票的IT风险管理与任何其他风险管理领域一样，以合理的方式进行管理。因此，我们准备接受使用非物质化技术来涵盖重大、明确识别和不可避免的风险。然而，研究表明，可验证的非物质化投票本质上失去了匿名性。此外，一项对漏洞历史的研究表明，近年来没有一个终端能够保证其连接的匿名性，个人投票数据总是有可能暴露。因此，据我们所知，电子投票系统无法提供所需的宪法保障。
2019-02-12 cs.CR cs.CY
An Internet Voting System Fatally Flawed in Creative New Ways
本文分析了MERGE互联网投票协议的理论与实践差距，指出其在现有法律和技术条件下无法实现可信选举，呼吁DARPA承认其缺陷并停止过度宣传。
2024-11-18 cs.CR cs.CY
Are Quantum Voting Protocols Practical?
Kennesaw State University（肯尼索州立大学）
本文探讨量子投票协议的实用性，分析其数学基础、系统模型及实现挑战，提出小规模选举的现实部署方案。
2026-01-24 cs.CR quant-ph
A transparent referendum protocol with immutable proceedings and verifiable outcome for trustless networks
在选举和全民投票中，选民的高投票率是非常可取的，以确保一个强大的民主。安全电子投票是选举和全民投票未来的愿景。这一制度可以抵消阻碍选民踊跃投票的因素，如要求在有限的时间内亲自到投票站投票。然而，这一愿景带来了透明度和保密性要求，使设计此类解决方案具有挑战性。具体而言，计票必须以可重复的方式进行，个人选民的选票必须保密。在本文中，我们提出并评估了一个公投协议，确保透明度，机密性和完整性，在不信任的网络。该协议通过结合安全多方计算（SMPC）和分布式账本或区块链技术构建。协议通信的持久性和不变性允许在客户端验证公投结果。因此，选民不需要信任第三方。我们提供正式的描述，并对我们的建议进行彻底的安全评估。
2019-09-13 cs.CR
Are Voters Willing to Collectively Secure Elections? Unraveling a Practical Blockchain Voting System
本文提出集体安全投票概念，设计并实现基于区块链的投票系统，结合阈值密码学与智能合约，用户测试显示选民参与意愿高，系统可行。
2025-10-09 cs.CR cs.DC
E-Voting with Blockchain: An E-Voting Protocol with Decentralisation and Voter Privacy
技术对我们社会生活的许多方面都有积极的影响。设计一个24小时全球连接的架构，可以轻松访问各种资源和服务。此外，像互联网这样的技术已经成为创新和创造力的沃土。这种颠覆性创新之一是区块链-加密货币的基石。区块链技术被认为是许多现有和新兴技术/服务的游戏规则改变者。凭借其不变性和去中心化的架构，它正在许多服务中占据中心地位，作为消费者和大公司/政府之间当前平等的均衡因素。区块链的潜在应用之一是电子投票计划。这样一个计划的目标是提供一个分散的架构来运行和支持一个开放，公平和独立可验证的投票计划。在本文中，我们提出了一种新的电子投票协议，该协议利用区块链作为透明的投票箱。该协议在设计时考虑到了基本的电子投票属性，并提供了一定程度的去中心化，允许选民（在允许的投票期限内）更改/更新他们的投票。本文从开发/部署和使用环境的实际角度强调了使用区块链进行此类提议的优点和缺点。最后，本文总结了区块链技术能够支持复杂应用程序的潜在路线图。
2018-07-03 cs.CR cs.CY
VCTP: A Verifiable Credential-based Trust Propagation Protocol for Personal Issuers in Self-Sovereign Identity Platforms
本文提出一种基于区块链和可验证凭证的信任传播协议VCTP，利用可清洗签名方案和投票机制，为SSI平台中的个人发行者提供结构化信任支持，解决了个人凭证难以被风险规避型验证者接受的问题。
2023-08-03 cs.CR
Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification
IIIT Hyderabad（印度信息科学与技术学院海得拉巴分校）
ACE协议在保障公共审计性的同时提供强隐私保护，通过公开验证的计数隐藏聚合机制和审计或投递挑战，在无可信客户端假设下实现端到端可验证性、公开计数隐藏结果和强收据自由性。
2026-04-21 cs.CR
Blockchain Based Secured E-voting by Using the Assistance of Smart Contract
投票是一个非常重要的问题，在选举中选择正确的领导人是有益的。一个好的领导人可以给一个国家带来繁荣，也可以每次都把国家引向正确的方向。然而，选举是围绕着选票伪造，胁迫和多重投票问题。此外，在投票时，要排很长的队，是一个很费时的过程。区块链是一种分布式数据库，其中数据与节点的参与者共享，每个参与者持有相同的数据副本。区块链具有分布式、匿名性、数据完整性等特性，本文提出了一种基于区块链技术的完全去中心化的投票系统。该协议将智能合约引入投票系统，以解决投票过程中的安全问题，准确性和选民隐私问题。该协议产生了一个透明的，不可编辑的和独立可验证的程序，通过消除第三方的最小参与，并使选民在选举过程中的权利，放弃了选举过程中发生的所有有意的欺诈活动。透明度和强制性同时获得。
2019-10-30 cs.CR cs.CY
Publicly Verifiable Secret Sharing: Generic Constructions and Lattice-Based Instantiations in the Standard Model
University of Technology (HCMUT)（胡志明市科技大学）；Vietnam National University Ho Chi Minh City（越南国家大学胡志明市分校）；University of Wollongong（伍伦贡大学）
针对现有PVSS协议依赖随机预言机模型或量子脆弱假设的问题，提出标准模型下基于LWE假设的通用构造，实现首个后量子PVSS并保证合理渐近效率。
2025-11-13 cs.CR cs.IT math.IT
A Taxonomy and Methodology for Proof-of-Location Systems
针对传统定位方法缺乏物理存在密码学保证易受攻击的问题，本文提出位置证明（PoL）系统的分类法与方法论，通过统一框架助力从业者适配应用需求，为构建安全可扩展的PoL系统提供结构化支持。
2025-08-19 cs.CR
Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
本文提出zkSpeed加速器，针对HyperPlonk零知识证明协议，加速SumCheck和MSM原语，以366.46 mm²芯片和2 TB/s带宽实现801倍加速，解决可信设置和证明大小问题。
2025-08-06 cs.AR cs.CR
Risk-Limiting Tallies
已经提出了许多选民可验证的，抗干扰的方案，但即使是最精心设计的系统也必然会通过宣布的结果泄露信息。在极端情况下，这可能是有问题的。例如，如果所有的选票都投给了一个候选人，那么所有的投票隐私都消失了。仅仅是候选人可能得不到选票或很少的选票，就可能在实践中对安全产生影响：如果胁迫者要求选民投票给这样一个不受欢迎的候选人，那么选民可能会感到有义务服从，即使她相信投票系统满足标准的胁迫抵抗定义。对于复杂的选票，也可能存在“意大利式”（又名“签名”）攻击的危险：胁迫者要求选民用特定的识别模式投票。在这里，我们提出了一种方法来计算端到端的可验证方案，避免透露所有的选票，但仍然达到任何信心水平，在宣布的结果是理想的。现在，一个被胁迫的选民可以声称，所需的投票必须在那些仍然笼罩。我们的方法是建立在风险限制审计的基础上的，但这里应用于理货而不是审计。我们表明，这种方法可以对抗极端吻合和“意大利”攻击所产生的胁迫威胁。我们说明了我们的方法，将其应用到Selene方案，我们扩展的方法，风险限制验证，而不是所有的投票跟踪器显示，从而提高胁迫缓解性质的Selene。
2019-08-14 cs.CR cs.CY stat.AP
