A formal treatment of remotely keyed encryption

To simultaneously achieve CCA security and homomorphic property for encryption, Emura et al. introduced a new cryptographic primitive named keyed-homomorphic encryption, in which homomorphic ciphertext manipulations can only be performed by someone ...

(Fully) homomorphic encryption ((F)HE) allows users to publicly evaluate circuits on encrypted data. Although public homomorphic evaluation property has various applications, (F)HE cannot achieve security against chosen ciphertext attacks (CCA2) ...$\mathsf{}\mathsf{}$$\mathsf{}$$\mathsf{}\mathsf{}$$\mathsf{}\mathsf{}$

Keyed homomorphic public key encryption ($\mathsf{KHPKE}$) is a variant of homomorphic public key encryption, where only users who have a homomorphic evaluation key can perform a homomorphic evaluation. Then, $\mathsf{KHPKE}$ satisfies the $\mathsf{CCA}\mathsf{2}$ security against users ...$\mathsf{}\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$$\mathsf{}$