Yi Lu, Keisuke Hara, Keisuke Tanaka: Receiver Selective Opening CCA Secure Public Key Encryption from Various Assumptions. ProvSec 2020: 213-233