Aggelos Kiayias Hong-Sheng Zhou Zero-Knowledge Proofs with Witness Elimination. 124-138 2009 Public Key Cryptography http://dx.doi.org/10.1007/978-3-642-00468-1_8 conf/pkc/2009 db/conf/pkc/pkc2009.html#KiayiasZ09