Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios | IEEE Conference Publication | IEEE Xplore