Abstract is missing.
- 2015 Neuchâtel's Cast-as-Intended Verification MechanismDavid Galindo, Sandra Guasch, Jordi Puiggali. 3-18 [doi]
- Log Analysis of Estonian Internet Voting 2013-2014Sven Heiberg, Arnis Parsovs, Jan Willemson. 19-34 [doi]
- The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online ElectionJ. Alex Halderman, Vanessa Teague. 35-53 [doi]
- Extending Helios Towards Private Eligibility VerifiabilityOksana Kulyk, Vanessa Teague, Melanie Volkamer. 57-73 [doi]
- Verifiable Internet Elections with Everlasting Privacy and Minimal TrustPhilipp Locher, Rolf Haenni. 74-91 [doi]
- Vote Validatability in Mix-Net-Based eVotingPedro Bibiloni, Alex Escala, Paz Morillo. 92-109 [doi]
- Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT ProtocolsYvo Desmedt, Stelios Erotokritou. 110-126 [doi]
- Document Analysis Techniques for Automatic Electoral Document Processing: A SurveyJ. Ignacio Toledo, Jordi Cucurull, Jordi Puiggali, Alicia Fornés, Josep Lladós. 129-141 [doi]
- Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order LogicJeremy E. Dawson, Rajeev Goré, Thomas Meumann. 142-158 [doi]
- Challenging an E-voting System in Court - An Experience ReportRichard Hill. 161-171 [doi]