Lan Nguyen Reihaneh Safavi-Naini An Efficient Verifiable Shuffle with Perfect Zero-knowledge Proof System. 40-56 2004 conf/cau/2004 Cryptographic Algorithms and their Uses db/conf/cau/cau2004.html#NguyenS04