Login / Signup

Machine-Checked Proofs of Privacy for Electronic Voting Protocols.

Véronique CortierConstantin Catalin DraganFrançois DupressoirBenedikt SchmidtPierre-Yves StrubBogdan Warinschi
Published in: IEEE Symposium on Security and Privacy (2017)
Keyphrases
  • voting protocols
  • privacy preserving
  • np hard
  • security issues
  • personal information
  • electronic voting
  • theorem prover
  • private information
  • database
  • electronic payment
  • electronic transactions