Public-key cryptosystems provably secure against chosen ciphertext attacks (1990)

by M Naor, M Yung
Venue:In ACM Symposium on Theory of Computing - STOC