Abstract is missing.
- Vote casting device with VV-SV-PAT for elections with complicated ballot papersMelanie Volkamer, Jurlind Budurushi, Denise Demirel. 1-8 [doi]
- A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systemsSimon Kramer, Peter Y. A. Ryan. 9-21 [doi]
- Vote verification through open standard: A roadmapAli Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris. 22-26 [doi]
- Ballot stuffing in a postal voting systemVéronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann. 27-36 [doi]
- Side-channels and eVoting machine security: Identifying vulnerabilities and defining requirementsRichard Frankland, Denise Demirel, Jurlind Budurushi, Melanie Volkamer. 37-46 [doi]
- Robust electronic voting: Introducing robustness in CivitasFateme Shirazi, Stephan Neumann, Ines Ciolacu, Melanie Volkamer. 47-55 [doi]
- Focus group views on Prêt à Voter 1.0Steve Schneider, Morgan Llewellyn, Chris Culnane, James Heather, Sriramkrishnan Srinivasan, Zhe Xia. 56-65 [doi]
- Just like paper and the 3-colour protocol: A voting interface requirements engineering case studyJ. Paul Gibson, Damien MacNamara, Ken Oakley. 66-75 [doi]