Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings /
Electronic Voting Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / [electronic resource] :
edited by Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid.
- 1st ed. 2018.
- IX, 203 p. 54 illus. online resource.
- Security and Cryptology, 11143 2946-1863 ; .
- Security and Cryptology, 11143 .
Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful.
This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections.
9783030004194
10.1007/978-3-030-00419-4 doi
Cryptography.
Data encryption (Computer science).
Data protection.
Computer engineering.
Computer networks .
Software engineering.
Information technology--Management.
Computers and civilization.
Cryptology.
Data and Information Security.
Computer Engineering and Networks.
Software Engineering.
Computer Application in Administrative Data Processing.
Computers and Society.
QA268
005.824
Computing the Margin of Victory in Preferential Parliamentary elections -- Ballot-polling Risk Limiting Audits for IRV Elections -- The Threat of SSL/TLS Stripping in Online Voting -- Modular Formalisation and Verification of STV Algorithms -- Online Voting in Indigenous Nations: Lessons From Canada -- Process Models for Universally Verifiable Elections -- Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics -- How much does an e-vote cost? Compared Costs per Vote in Multichannel Elections in Estonia -- Implementing an audio side channel for paper voting -- The E-voting Readiness Index and the Netherlands -- Winning the election, but losing the litigation: A prognosis of Nigerian judicial attitude to evidence produced from `e-voting machines' -- A New Method for Stratified Risk-Limiting Audits -- Rounding Considered Harmful.
This book constitutes the refereed proceedings of the Third International Joint Conference on Electronic Voting, E-Vote-ID 2018, held in Bregenz, Austria, in October 2018. The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers deal with topics connected with electronic voting including experiences and revisions of the real uses of E-voting systems and corresponding processes in elections.
9783030004194
10.1007/978-3-030-00419-4 doi
Cryptography.
Data encryption (Computer science).
Data protection.
Computer engineering.
Computer networks .
Software engineering.
Information technology--Management.
Computers and civilization.
Cryptology.
Data and Information Security.
Computer Engineering and Networks.
Software Engineering.
Computer Application in Administrative Data Processing.
Computers and Society.
QA268
005.824