Electronic Voting Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings
tarafından
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
Başlık
:
Electronic Voting Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings
Yazar
:
Krimmer, Robert. editor. (orcid)0000-0002-0873-539X
ISBN
:
9783319686875
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
X, 319 p. 35 illus. online resource.
Seri
:
Security and Cryptology ; 10615
İçindekiler
:
Election Security and Economics: It's all about Eve -- Cryptographic Security Analysis of E-Voting Systems: Achievements, Misconceptions, and Limitations -- Voting in E-participation: A Set of Requirements to Support Accountability and Trust by Electoral Committees -- The Weakness of Cumulative Voting -- No More Excuses: Automated Synthesis of Practical and Verifiable Vote-counting Programs for Complex Voting Schemes -- Public Evidence from Secret Ballots -- A Mechanized Proof of Selene Receipt Freeness and Privacy -- Trust Implications of DDoS Protection in Online Elections -- Updated European Standards for e-voting -- A Formally Verified Single Transferable Vote Scheme with Fractional Values -- Reverse Bayesian poisoning: How to use spam filters to manipulate online elections -- Return Code Schemes for Electronic Voting Systems -- Eos A Universal Verifiable and Coercion Resistant Voting Protocol -- Clash attacks and the STAR-Vote system -- Verifiability experiences in government online voting systems -- Cast-as-Intended Mechanism with Return Codes Based on PETs -- How Could Snowden Attack an Election -- Bits or Paper: which should get to carry your vote -- Estonian Voting Verification Mechanism Revisited Again. .
Özet
:
This book constitutes the refereed proceedings of the Second International Joint Conference on Electronic Voting, E-Vote-ID 2017, held in Bregenz, Austria, in October 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 keynote talks. The papers deal with security, usability and technical issues; administrative, legal, political and social issued; and election and practical experiences. .
Konu Başlığı
:
Data encryption (Computer science).
Computer security.
Software engineering.
Coding theory.
Computer Communication Networks.
Information systems.
Cryptology. http://scigraph.springernature.com/things/product-market-codes/I28020
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Coding and Information Theory. http://scigraph.springernature.com/things/product-market-codes/I15041
Computer Communication Networks. http://scigraph.springernature.com/things/product-market-codes/I13022
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product-market-codes/I2301X
Yazar Ek Girişi
:
Krimmer, Robert.
Volkamer, Melanie.
Braun Binder, Nadja.
Kersting, Norbert.
Pereira, Olivier.
Schürmann, Carsten.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 226435-1001 | QA76.9 .D335 | Springer E-Book Collection |