KDM-CCA security of the Cramer-Shoup cryptosystem, revisited | IEEE Conference Publication | IEEE Xplore