Nguyen, Lan, Reihaneh Safavi-Naini, and Kaoru Kurosawa. Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security In Applied Cryptography and Network Security: Second International Conference ACNS 2004 , Edited by Markus Jakobsson, Moti Yung and Jianying Zhou. Yellow Mountain, China: Computer Science 3089, 2004.