A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem.

Lan Nguyen Reihaneh Safavi-Naini Kaoru Kurosawa A Provably Secure and Efficient Verifiable Shuffle based on a Variant of the Paillier Cryptosystem. 986-1010 2005 11 J. UCS 6 http://www.jucs.org/jucs_11_6/a_provably_secure_and db/journals/jucs/jucs11.html#NguyenSK05