default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. VOTE-ID 2013: Guildford, UK
- James Heather, Steve A. Schneider, Vanessa Teague:
E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings. Lecture Notes in Computer Science 7985, Springer 2013, ISBN 978-3-642-39184-2 - Aggelos Kiayias, Anthi Orfanou:
Scaling Privacy Guarantees in Code-Verification Elections. 1-24 - Bernhard Beckert
, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. 25-40 - Dermot Cochran, Joseph R. Kiniry:
Formal Model-Based Validation for Tally Systems. 41-60 - Jurlind Budurushi, Maria Henning, Melanie Volkamer:
Vote Casting in Any Preferred Constituency: A New Voting Channel. 61-75 - Reto E. Koenig, Philipp Locher, Rolf Haenni:
Attacking the Verification Code Mechanism in the Norwegian Internet Voting System. 76-92 - Katharina Bräunlich, Rüdiger Grimm:
A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board. 93-108 - Mathilde Arnaud, Véronique Cortier, Cyrille Wiedling:
Analysis of an Electronic Boardroom Voting System. 109-126 - Tyler Kaczmarek, John Wittrock, Richard Carback, Alex Florescu, Jan Rubio, Noel Runyan, Poorvi L. Vora, Filip Zagórski:
Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity. 127-141 - Maina M. Olembo, Steffen Bartsch, Melanie Volkamer:
Mental Models of Verifiability in Voting. 142-155 - Denise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann:
Prêt à Voter Providing Everlasting Privacy. 156-175 - David Bernhard, Stephan Neumann, Melanie Volkamer:
Towards a Practical Cryptographic Voting Scheme Based on Malleable Proofs. 176-192 - Roberto Araújo, Jacques Traoré:
A Practical Coercion Resistant Voting Scheme Revisited. 193-209
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-04 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
