Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
Vronique Cortier, Constantin Catalin Dragan, Franois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
VenueA*SP
Year2017
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/CortierDDSSW17 ↗
Browse the full SP paper archive.