Abstract is missing.
- Scaling Privacy Guarantees in Code-Verification ElectionsAggelos Kiayias, Anthi Orfanou. 1-24 [doi]
- On the Specification and Verification of Voting SchemesBernhard Beckert, Rajeev Goré, Carsten Schürmann. 25-40 [doi]
- Formal Model-Based Validation for Tally SystemsDermot Cochran, Joseph R. Kiniry. 41-60 [doi]
- Vote Casting in Any Preferred Constituency: A New Voting ChannelJurlind Budurushi, Maria Henning, Melanie Volkamer. 61-75 [doi]
- Attacking the Verification Code Mechanism in the Norwegian Internet Voting SystemReto E. Koenig, Philipp Locher, Rolf Haenni. 76-92 [doi]
- A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin BoardKatharina Bräunlich, Rüdiger Grimm. 93-108 [doi]
- Analysis of an Electronic Boardroom Voting SystemMathilde Arnaud, Véronique Cortier, Cyrille Wiedling. 109-126 [doi]
- Dispute Resolution in Accessible Voting Systems: The Design and Use of AudiotegrityTyler Kaczmarek, John Wittrock, Richard Carback, Alex Florescu, Jan Rubio, Noel Runyan, Poorvi L. Vora, Filip Zagórski. 127-141 [doi]
- Mental Models of Verifiability in VotingMaina M. Olembo, Steffen Bartsch, Melanie Volkamer. 142-155 [doi]
- Prêt à Voter Providing Everlasting PrivacyDenise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann. 156-175 [doi]
- Towards a Practical Cryptographic Voting Scheme Based on Malleable ProofsDavid Bernhard, Stephan Neumann, Melanie Volkamer. 176-192 [doi]
- A Practical Coercion Resistant Voting Scheme RevisitedRoberto Araújo, Jacques Traoré. 193-209 [doi]