Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. - Thomas Haines; Rajeev Goré; Bhavesh Sharma (IACR Cryptol. ePrint Arch., 2020)