Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme.

Marie-Laure Zollinger, Peter B. Rnne, Peter Y. A. Ryan

Browse the full FC paper archive.