Machine-Checked Proofs of Privacy for Electronic Voting Protocols | Publicación