Coordinated Electromagnetic Side-Channel Attacks for Voter--Ballot Linking: A Case Study of the Brazilian E-Polling System
本文研究的是电子投票机(EVM)在物理侧信道层面的选民—选票关联(voter-ballot linking)风险,作者以巴西电子投票系统为案例,构造了一个由两名攻击者协同完成的电磁侧信道攻击场景。攻击模型设定为:攻击者 Eve 能够进入投票
共收录 6 条相关情报。
← 返回所有主题本文研究的是电子投票机(EVM)在物理侧信道层面的选民—选票关联(voter-ballot linking)风险,作者以巴西电子投票系统为案例,构造了一个由两名攻击者协同完成的电磁侧信道攻击场景。攻击模型设定为:攻击者 Eve 能够进入投票
该论文研究巴西电子投票机(UEB,Urna Eletrônica Brasileira)面临的电磁侧信道攻击(即 TEMPEST 攻击)对投票保密性的威胁。TEMPEST 攻击的核心原理是:设备视频信号在传输与显示过程中会产生非预期的电磁辐
本文针对单记名可转移投票(STV)这一多席位偏好比例选举系统,研究其边际计算问题。STV选举的边际是指改变获胜者集合所需的最小选票操纵数量。精确计算边际或其合理下界,对于实施风险限制审计(RLA)至关重要,因为边际知识可用于评估选举结果是否
ElectionGuard是一个由微软研究院开发的密码学工具包,旨在为选举系统提供端到端的可验证性。该工具包基于同态加密和零知识证明等密码学技术,允许选民验证自己的选票是否被正确记录,同时保护选票的机密性。论文详细描述了ElectionGu
该论文关注电子投票系统的可验证性问题。传统上,可验证性依赖于复杂的密码学协议,选民难以自行验证。作者提出了一种基于简单表格的可验证投票方案,选民只需进行基本的检查步骤(如匹配数字、核对表格)即可验证投票的正确性,几乎无需密码学知识。论文详细
本论文针对选举后风险限制审计(RLA)中存在的两个关键问题提出了创新解决方案。RLA是一种严格的统计审计程序,能够以预设的高概率确保错误选举结果被检测到。传统RLA需要一份准确且软件独立的选票批次清单(ballot manifest),但实