XTR+: A Provable Secure Public Key Cryptosystem | IEEE Conference Publication | IEEE Xplore