Public-key cryptosystems provably secure against chosen ciphertext attacks | Synapse