Cronus: Everlasting Privacy with Audit and Cast

摘要

We present a new online voting scheme with everlasting privacy and cast-as-intended verifiability. We follow the so called 'audit-and-cast' paradigm where the voter audits the ballot before casting it. To mitigate the ability of this information to harm the voter's privacy, we provide measures for avoiding coercion by allowing any party to create fake proofs for the content of any vote. We propose an efficient implementation and formally verify its security properties.