Cramer, Ronald, and Victor Shoup. A Practical Public Key Cryptosystem Provably Secure against Adaptive Chosen Cipher Attack In Proceedings of the 18th Annual International Cryptology Conference on Advances in Cryptology Crypto?98. Santa Barbara, California, USA, 1998.