cryptosystems provably secure against chosen ciphertext atta published presentations and documents on DocSlides.