Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Veronique Cortier, Constantin Catalin Dragan, Francois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
2017 2017 IEEE Symposium on Security and Privacy (SP)  
doi:10.1109/sp.2017.28 dblp:conf/sp/CortierDDSSW17 fatcat:rqw3ts5xrvdt3apptmje7cc4ii