Complementary Witness Soundness Witness Indistinguishable Proof System and CCA2 Public-Key Encryption Schemes | IEEE Conference Publication | IEEE Xplore