E-Voting and Identity
4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
Editors: Heather, James, Schneider, Steve, Teague, Vanessa (Eds.)
Free Preview- State of the art report
- Unique visibility
- Fast conference proceedings
Buy this book
- About this book
-
This book constitutes the thoroughly refereed conference proceedings of the 4th International Conference on E-Voting and Identity, Vote ID 2013, held in Guildford, UK, during July 17-19, 2013. The 12 revised full papers presented were carefully selected from 26 submissions. The papers include a range of works on end-to-end verifiable election systems, verifiably correct complex tallying algorithms, human perceptions of verifiability, formal models of verifiability and, of course, attacks on systems formerly advertised as verifiable.
- Table of contents (12 chapters)
-
-
Scaling Privacy Guarantees in Code-Verification Elections
Pages 1-24
-
On the Specification and Verification of Voting Schemes
Pages 25-40
-
Formal Model-Based Validation for Tally Systems
Pages 41-60
-
Vote Casting in Any Preferred Constituency: A New Voting Channel
Pages 61-75
-
Attacking the Verification Code Mechanism in the Norwegian Internet Voting System
Pages 76-92
-
Table of contents (12 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- E-Voting and Identity
- Book Subtitle
- 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings
- Editors
-
- James Heather
- Steve Schneider
- Vanessa Teague
- Series Title
- Security and Cryptology
- Series Volume
- 7985
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-39185-9
- DOI
- 10.1007/978-3-642-39185-9
- Softcover ISBN
- 978-3-642-39184-2
- Edition Number
- 1
- Number of Pages
- X, 211
- Number of Illustrations
- 29 b/w illustrations
- Topics
