Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security.

Lan Nguyen, Reihaneh Safavi-Naini, Kaoru Kurosawa

Browse the full ACNS paper archive.