Leakage-Resilient and Lightweight Authenticated Key Exchange for E-Health | IEEE Conference Publication | IEEE Xplore