Public Verifiable Key Encapsulation Mechanism under Factoring | IEEE Conference Publication | IEEE Xplore