After-the-Fact Leakage-Resilient Identity-Based Authenticated Key Exchange | IEEE Journals & Magazine | IEEE Xplore