Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability

ePrint Report: Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability

Mark Manulis, Jérôme Nguyen

We focus on the problem of constructing fully homomorphic encryption (FHE) schemes that achieve some meaningful notion of adaptive chosen-ciphertext security beyond CCA1. Towards this, we propose a new notion, called security against verified chosen-ciphertext attack (vCCA). The idea behind it is to ascertain integrity of the ciphertext by imposing a strong control on the evaluation algorithm. Essentially, we require that a ciphertext obtained by …

attack beyond called ciphertext encryption eprint report fhe focus fully homomorphic encryption homomorphic encryption ind integrity mark meaningful nguyen notion problem report security verified