Lan Nguyen Reihaneh Safavi-Naini Kaoru Kurosawa Verifiable Shuffles: A Formal Model and a Paillier-Based Efficient Construction with Provable Security. 61-75 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3089&spage=61 2004 conf/acns/2004 ACNS db/conf/acns/acns2004.html#NguyenSK04