Cryptographic Analysis of Voting Systems

Abstract

Coercion-resistance is defined and used to analyze/discuss the voting systems Civitas and the Norwegian Voting Protocol. Pret a Voter is described both in a real and an ideal case, and analysis of these cases regarding coercion-resistance is done.