R. Cramer and V. Shoup, “Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption”, BRICS, vol. 8, no. 37, Oct. 2001.