Can we cast a ballot as intended and be receipt free?

本文研究电子投票协议中两个关键安全属性之间的相互作用：收据自由性（receipt-freeness，即选民无法向第三方证明自己如何投票，以防止选票买卖或胁迫）和按意愿投票可验证性（cast-as-intended verifiability

历史摘要 · 未重新核验 · IEEE S&P