Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting | IEEE Conference Publication | IEEE Xplore