Login / Signup

Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.

Véronique CortierConstantin Catalin DraganFrançois DupressoirBogdan Warinschi
Published in: CSF (2018)
Keyphrases
  • electronic voting
  • security properties
  • blind signature
  • secret sharing
  • privacy preserving
  • voting protocols
  • secret sharing scheme
  • operating system