A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem. - Nguyen, Lan; Safavi-Naini, Reihaneh; Kurosawa, Kaoru (J. Univers. Comput. Sci., 2005)