Detecting the Detectable: Unintended Consequences of Cryptographic Election Verification
Aleksander Essex · IEEE Security & Privacy · 2017
Cryptographic end-to-end election verification is a promising paradigm for adding universally checkable proofs to electronic and remote voting systems. Although the idea of requiring convincing proof-based results makes good sense, the possibility of unintended outcomes must be considered.