F. Bao, An Efficient Verifiable Encryption Scheme for Encryption of Discrete Logarithms, Smart Card. Research and Applications, pp.213-220, 2000.
DOI : 10.1007/10721064_19

R. Cramer, Modular Design of Secure, yet Practical Cryptographic Protocols, 1996.

T. Okamoto and S. Uchiyama, A new public-key cryptosystem as secure as factoring, Advances in Cryptology -EUROCRYPT 98, pp.308-318, 1998.
DOI : 10.1007/BFb0054135

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.79.2657