Thomas Haines, Rajeev Goré, Bhavesh Sharma. Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting. IACR Cryptology ePrint Archive, 2020:1114, 2020. [doi]
@article{HainesGS20, title = {Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting}, author = {Thomas Haines and Rajeev Goré and Bhavesh Sharma}, year = {2020}, url = {https://eprint.iacr.org/2020/1114}, researchr = {https://researchr.org/publication/HainesGS20}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2020}, pages = {1114}, }