Linear Logical Voting Protocols (English)
- New search for: DeYoung, Henry
- New search for: Schürmann, Carsten
- New search for: Kiayias, Aggelos
- New search for: Lipmaa, Helger
- New search for: DeYoung, Henry
- New search for: Schürmann, Carsten
In:
E-Voting and Identity
: Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers
;
Chapter: 4
;
53-70
;
2012
- Article/Chapter (Book) / Electronic Resource
-
Title:Linear Logical Voting Protocols
-
Contributors:Kiayias, Aggelos ( editor ) / Lipmaa, Helger ( editor ) / DeYoung, Henry ( author ) / Schürmann, Carsten ( author )
-
Conference:International Conference on E-Voting and Identity ; 2011 ; Tallinn, Estonia
-
Published in:E-Voting and Identity : Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers ; Chapter: 4 ; 53-70Lecture Notes in Computer Science ; 7187 ; 53-70
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2012-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The Norwegian Internet Voting ProtocolGjøsteen, Kristian et al. | 2012
- 19
-
Transparency and Technical Measures to Establish Trust in Norwegian Internet VotingSpycher, Oliver / Volkamer, Melanie / Koenig, Reto et al. | 2012
- 36
-
Internet Voting System with Cast as Intended VerificationAllepuz, Jordi Puiggalí / Castelló, Sandra Guasch et al. | 2012
- 4
-
Linear Logical Voting ProtocolsDeYoung, Henry / Schürmann, Carsten et al. | 2012
- 71
-
Efficient Vote Authorization in Coercion-Resistant Internet VotingSchläpfer, Michael / Haenni, Rolf / Koenig, Reto / Spycher, Oliver et al. | 2012
- 89
-
The Bug That Made Me President a Browser- and Web-Security Case Study on Helios VotingHeiderich, Mario / Frosch, Tilman / Niemietz, Marcus / Schwenk, Jörg et al. | 2012
- 104
-
An Efficient and Highly Sound Voter Verification Technique and Its ImplementationJoaquim, Rui / Ribeiro, Carlos et al. | 2012
- 122
-
Single Layer Optical-Scan Voting with Fully Distributed TrustEssex, Aleksander / Henrich, Christian / Hengartner, Urs et al. | 2012
- 140
-
Paperless Independently-Verifiable VotingChaum, David / Florescu, Alex / Nandi, Mridul / Popoveniuc, Stefan / Rubio, Jan / Vora, Poorvi L. / Zagórski, Filip et al. | 2012
- 158
-
Feasibility Analysis of Prêt à Voter for German Federal ElectionsDemirel, Denise / Henning, Maria / Ryan, Peter Y. A. / Schneider, Steve / Volkamer, Melanie et al. | 2012
- 174
-
Prêt á Voter with Write-InsSchneider, Steve / Srinivasan, Sriramkrishnan / Culnane, Chris / Heather, James / Xia, Zhe et al. | 2012
- 190
-
Trivitas: Voters Directly Verifying VotesBursuc, Sergiu / Grewal, Gurchetan S. / Ryan, Mark D. et al. | 2012
- 208
-
The Application of I-Voting for Estonian Parliamentary Elections of 2011Heiberg, Sven / Laud, Peeter / Willemson, Jan et al. | 2012
- 224
-
Towards Best Practice for E-election SystemsBuckland, Richard / Teague, Vanessa / Wen, Roland et al. | 2012
- 242
-
On the Side-Effects of Introducing E-VotingHeather, James / Llewellyn, Morgan / Teague, Vanessa / Wen, Roland et al. | 2012