Practical verifiable encryption and decryption of discrete logarithms (2003)

by Jan Camenisch, Victor Shoup
Venue:CRYPTO, volume 2729 of LNCS