Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.

Thomas Haines, Rajeev Gor, Bhavesh Sharma

Browse the full SP paper archive.