Provably Leakage-Resilient Password-Based Authenticated Key Exchange in the Standard Model | IEEE Journals & Magazine | IEEE Xplore