Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa. Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security. In Markus Jakobsson, Moti Yung, Jianying Zhou, editors, Applied Cryptography and Network Security, Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004, Proceedings. Volume 3089 of Lecture Notes in Computer Science, pages 61-75, Springer, 2004. [doi]
Abstract is missing.