Can we cast a ballot as intended and be receipt free?
本文研究电子投票协议中两个关键安全属性之间的相互作用：收据自由性（receipt-freeness，即选民无法向第三方证明自己如何投票，以防止选票买卖或胁迫）和按意愿投票可验证性（cast-as-intended verifiability
#verifiability
共收录 4 条相关情报。
← 返回所有主题Single-Server Stateful PIR with Verifiability and Balanced Efficiency.
该论文针对单服务器有状态私密信息检索（PIR）协议中效率与可验证性之间的权衡问题，提出了一种新型协议。论文首先分析了现有单服务器PIR方案在状态更新和验证方面的不足，指出大多数方案无法同时保证检索结果的正确性（可验证性）和支持高效的批量查询
Verifying Table-Based Elections.
该论文关注电子投票系统的可验证性问题。传统上，可验证性依赖于复杂的密码学协议，选民难以自行验证。作者提出了一种基于简单表格的可验证投票方案，选民只需进行基本的检查步骤（如匹配数字、核对表格）即可验证投票的正确性，几乎无需密码学知识。论文详细
Poster: Verifiable Data Valuation with Strong Fairness in Horizontal Federated Learning.
联邦学习（FL）是一种去中心化的机器学习范式，允许多个参与方在不共享原始数据的情况下协同训练全局模型。由于各参与方数据质量参差不齐，如何公平地评估每个数据提供者的贡献（即数据估值）成为保障FL公平性的关键问题。现有工作常引入沙普利值（Sha