Efficient KDM-CCA Secure Public-Key Encryption via Auxiliary-Input Authenticated Encryption. (11th December 2017)