Login / Signup
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
Véronique Cortier
Constantin Catalin Dragan
François Dupressoir
Benedikt Schmidt
Pierre-Yves Strub
Bogdan 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