E-Voting and Identity

Scaling Privacy Guarantees in Code-Verification Elections.- On the Specification and Verification of Voting Schemes.- Formal Model-based Validation for Tally Systems.- Vote Casting In Any Preferred Constituency: A New Voting Channel.- Attacking the Verification Code Mechanism in the Norwegian Internet Voting System.- A Formal Model for the Requirement of Verifiability in Electronic Voting by means of a Bulletin Board.- Analysis of an Electronic Boardroom Voting System.- Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity.- Mental Models of Verifiability in Voting.- Towards a Practical Internet Voting Scheme Based on Malleable Proofs.- A Practical Coercion Resistant Voting Scheme Revisited.