Lecture Notes in Computer Science - E-Voting and Identity
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319222691, 9783319222707

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

2015 Neuchâtel’s Cast-as-Intended Verification Mechanism

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_1 ◽

2015 ◽

pp. 3-18 ◽

Cited By ~ 17

Author(s):

David Galindo ◽

Sandra Guasch ◽

Jordi Puiggalí

Download Full-text

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_9 ◽

2015 ◽

pp. 142-158 ◽

Cited By ~ 4

Author(s):

Jeremy E. Dawson ◽

Rajeev Goré ◽

Thomas Meumann

Keyword(s):

Higher Order ◽

Order Logic ◽

Higher Order Logic

Download Full-text

Challenging an E-voting System in Court

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_10 ◽

2015 ◽

pp. 161-171

Author(s):

Richard Hill

Keyword(s):

Voting System

Download Full-text

Extending Helios Towards Private Eligibility Verifiability

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_4 ◽

2015 ◽

pp. 57-73 ◽

Cited By ~ 12

Author(s):

Oksana Kulyk ◽

Vanessa Teague ◽

Melanie Volkamer

Download Full-text

Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT Protocols

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_7 ◽

2015 ◽

pp. 110-126 ◽

Cited By ~ 3

Author(s):

Yvo Desmedt ◽

Stelios Erotokritou

Keyword(s):

Insider Threats

Download Full-text

Verifiable Internet Elections with Everlasting Privacy and Minimal Trust

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_5 ◽

2015 ◽

pp. 74-91 ◽

Cited By ~ 8

Author(s):

Philipp Locher ◽

Rolf Haenni

Keyword(s):

Everlasting Privacy

Download Full-text

The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_3 ◽

2015 ◽

pp. 35-53 ◽

Cited By ~ 24

Author(s):

J. Alex Halderman ◽

Vanessa Teague

Keyword(s):

New South ◽

New South Wales ◽

System Security ◽

South Wales

Download Full-text

Log Analysis of Estonian Internet Voting 2013–2014

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_2 ◽

2015 ◽

pp. 19-34 ◽

Cited By ~ 6

Author(s):

Sven Heiberg ◽

Arnis Parsovs ◽

Jan Willemson

Keyword(s):

Log Analysis ◽

Internet Voting

Download Full-text

Vote Validatability in Mix-Net-Based eVoting

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_6 ◽

2015 ◽

pp. 92-109 ◽

Cited By ~ 1

Author(s):

Pedro Bibiloni ◽

Alex Escala ◽

Paz Morillo

Download Full-text

Document Analysis Techniques for Automatic Electoral Document Processing: A Survey

Lecture Notes in Computer Science - E-Voting and Identity ◽

10.1007/978-3-319-22270-7_8 ◽

2015 ◽

pp. 129-141

Author(s):

J. Ignacio Toledo ◽

Jordi Cucurull ◽

Jordi Puiggalí ◽

Alicia Fornés ◽

Josep Lladós

Keyword(s):

Document Analysis ◽

Document Processing ◽

Analysis Techniques

Download Full-text

Lecture Notes in Computer Science - E-Voting and IdentityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

2015 Neuchâtel’s Cast-as-Intended Verification Mechanism

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic

Challenging an E-voting System in Court

Extending Helios Towards Private Eligibility Verifiability

Making Code Voting Secure Against Insider Threats Using Unconditionally Secure MIX Schemes and Human PSMT Protocols

Verifiable Internet Elections with Everlasting Privacy and Minimal Trust

The New South Wales iVote System: Security Failures and Verification Flaws in a Live Online Election

Log Analysis of Estonian Internet Voting 2013–2014

Vote Validatability in Mix-Net-Based eVoting

Document Analysis Techniques for Automatic Electoral Document Processing: A Survey

Lecture Notes in Computer Science - E-Voting and Identity
Latest Publications