267 citations · 874 across the 27 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017
Public Evidence from Secret Ballots
Matthew Bernhard, Josh Benaloh, J. Alex Halderman +6
Elections seem simple---aren't they just counting? But they have a unique, challenging combination of security and privacy requirements. The stakes are high; the context is adversa…
cs.CR2017
Verification of STAR-Vote and Evaluation of FDR and ProVerif
Murat Moran, Dan S. Wallach
We present the first automated privacy analysis of STAR-Vote, a real world voting system design with sophisticated "end-to-end" cryptography, using FDR and ProVerif. We also evalua…