Access control encryption with efficient verifiable sanitized decryption

Access control encryption (ACE), as a new cryptographic framework was proposed by Damgard et al. (at TCC 2016), enables controlling both the writing users and the reading users. Recently, a number of access control encryptions are proposed, but none of them are able to implement the verifiability of the sanitized ciphertexts which may lead to incorrect decryption. To solve this problem, by adapting Kim and Wu's techniques (at ASIACRYPT 2017) and combining with the strong randomness extractor, we put forward a generic framework of access control encryption with verifiable sanitized decryption for arbitrary policy. The instantiabilities of the used building blocks from standard assumptions illustrates that our new construction works well. Moreover, we prove that our scheme not only satisfies the standard security definitions of access control encryption but also achieves the verifiability security for the sanitized ciphertexts.