On the Specification and Verification of Voting Schemes (Englisch)
- Neue Suche nach: Beckert, Bernhard
- Neue Suche nach: Goré, Rajeev
- Neue Suche nach: Schürmann, Carsten
- Neue Suche nach: Beckert, Bernhard
- Neue Suche nach: Goré, Rajeev
- Neue Suche nach: Schürmann, Carsten
In:
E-Voting and Identify
;
25-40
;
2013
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:On the Specification and Verification of Voting Schemes
-
Beteiligte:
-
Erschienen in:E-Voting and Identify ; 25-40Lecture Notes in Computer Science ; 7985 ; 25-40
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Scaling Privacy Guarantees in Code-Verification ElectionsKiayias, Aggelos / Orfanou, Anthi et al. | 2013
- 25
-
On the Specification and Verification of Voting SchemesBeckert, Bernhard / Goré, Rajeev / Schürmann, Carsten et al. | 2013
- 3
-
Formal Model-Based Validation for Tally SystemsCochran, Dermot / Kiniry, Joseph R. et al. | 2013
- 61
-
Vote Casting in Any Preferred Constituency: A New Voting ChannelBudurushi, Jurlind / Henning, Maria / Volkamer, Melanie et al. | 2013
- 76
-
Attacking the Verification Code Mechanism in the Norwegian Internet Voting SystemKoenig, Reto E. / Locher, Philipp / Haenni, Rolf et al. | 2013
- 93
-
A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin BoardBräunlich, Katharina / Grimm, Rüdiger et al. | 2013
- 109
-
Analysis of an Electronic Boardroom Voting SystemArnaud, Mathilde / Cortier, Véronique / Wiedling, Cyrille et al. | 2013
- 127
-
Dispute Resolution in Accessible Voting Systems: The Design and Use of AudiotegrityKaczmarek, Tyler / Wittrock, John / Carback, Richard / Florescu, Alex / Rubio, Jan / Runyan, Noel / Vora, Poorvi L. / Zagórski, Filip et al. | 2013
- 9
-
Mental Models of Verifiability in VotingOlembo, Maina M. / Bartsch, Steffen / Volkamer, Melanie et al. | 2013
- 10
-
Prêt à Voter Providing Everlasting PrivacyDemirel, Denise / Henning, Maria / van de Graaf, Jeroen / Ryan, Peter Y. A. / Buchmann, Johannes et al. | 2013
- 176
-
Towards a Practical Cryptographic Voting Scheme Based on Malleable ProofsBernhard, David / Neumann, Stephan / Volkamer, Melanie et al. | 2013
- 193
-
A Practical Coercion Resistant Voting Scheme RevisitedAraújo, Roberto / Traoré, Jacques et al. | 2013