A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack
Universal one-way hash functions and their cryptographic applications