A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack