Cast-as-intended: a formal definition and case studies

DOI10.1007/978-3-662-63958-0_22zbMath1492.91121OpenAlexW3199782743MaRDI QIDQ2670847

Peter B. Rønne, Ben Smyth, Peter Y. A. Ryan

Publication date: 1 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-662-63958-0_22

Mathematics Subject Classification ID

Voting theory (91B12) Cryptography (94A60)

Cites Work

• Surveying global verifiability
• A critique of game-based definitions of receipt-freeness for voting
• End-to-End Verifiable Elections in the Standard Model
• Strategies for Voter-Initiated Election Audits
• Coercion-Resistant Electronic Elections
• Universally Composable Incoercibility
• Receipt-Free Universally-Verifiable Voting with Everlasting Privacy

This page was built for publication: Cast-as-intended: a formal definition and case studies