Provably-CCA-Secure-Encryption