Electronic Voting : Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings /
Autor Corporativo: | |
---|---|
Otros Autores: | , , , , , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Security and Cryptology ;
10615 |
Materias: |
Tabla de Contenidos:
- 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. .