[Resource Topic] 2020/849: Surveying global verifiability

Welcome to the resource topic for 2020/849

Surveying global verifiability

Authors: Ben Smyth


We explore global verifiability; discovering that voting systems vulnerable to attack can be proven to satisfy that security notion, whereas many secure systems cannot. We conclude that current definitions are unsuitable for the analysis of voting systems, fuelling the exploration for a suitable definition.

ePrint: https://eprint.iacr.org/2020/849

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .