本文研究电子投票协议中两个关键安全属性之间的相互作用：收据自由性（receipt-freeness，即选民无法向第三方证明自己如何投票，以防止选票买卖或胁迫）和按意愿投票可验证性（cast-as-intended verifiability，即选民能够验证自己的选票确实按照其意愿被投出）。此前这两种属性通常被分开研究，且收据自由性往往通过程序性手段（如投票亭物理隔离）而非密码学保障。本文首先证明，在非交互式投票场景下，除非存在可信权威，否则不可能同时实现收据自由和按意愿投票可验证性，给出了不可能性结果。然后，作者展示了如果存在可信的选民注册机构，则可以通过扩展标准的收据自由性安全定义到交互式投票和腐败设置，设计出同时满足两个属性的协议。最后，他们基于原型实现讨论了协议的性能。该工作为电子投票系统的设计提供了理论边界和可行方向，对隐私保护和可验证性要求兼顾的投票系统构建具有指导意义。

该论文提出了一种名为 Kryvos 的公开可验证电子投票系统，其核心创新在于实现了'计数隐藏'（tally-hiding）特性，即在公开验证投票结果正确性的同时，不泄露任何单个投票者的具体投票内容或中间计数信息。传统可验证电子投票系统通常需要公开所有选票或部分聚合结果来保证可验证性，这可能导致隐私泄露。Kryvos 利用先进的密码学原语，如完全同态加密、零知识证明和可验证混洗，在不暴露原始选票的情况下对外证明最终计数结果与所有有效选票一致。该系统支持多种投票规则（如多数制、比例代表制等），并提供了完整的协议规范、安全模型和实现原型。作者还通过性能评估展示了系统在合理规模选举中的实用性，尽管同态加密操作带来了额外计算开销，但通过优化可满足实际部署需求。该工作为兼顾隐私与可验证性的电子投票领域提供了重要技术方案，适合密码学研究者、电子投票系统设计者以及关注选举安全的从业人员阅读。

本文针对瑞士政治过程中的电子签名收集（e-collecting）场景，提出了一种兼顾可验证性与参与隐私的安全协议。在瑞士，公民通过收集一定数量的签名可以发起政策变更甚至具有法律约束力的公投，其安全要求与电子投票类似。作者首先基于瑞士现有的电子投票法律与技术框架，推导出电子收集的现实设置，包括信任假设、参与者模型以及并发收集的并行性特征。在此基础上，设计了一个密码学协议，核心创新在于利用多个收集活动同时进行的客观事实，在不假设匿名信道的前提下依然能保障参与者的隐私：即任何人（包括收集组织者）都无法将某一签名与具体收集活动一一对应，从而防止针对参与者的群体指纹攻击。同时，协议支持公开可验证性，允许任何第三方验证签名收集结果是否正确、是否来自真正的公民，且公民可以确保证自己的签名被正确计入。文中给出了协议的详细构造、安全性定义以及基于现实参数的安全分析。实验部分（若有）未在摘要中提及，但理论上证明了协议满足隐私性、完整性及健壮性。该工作为瑞士乃至其他类似民主过程的电子化签名收集提供了首个现实可用的密码学方案，对电子投票、电子请愿等系统的设计与部署具有直接参考价值。