Provably Secure and Lightweight Authentication Key Agreement Scheme for Smart Meters. - Sheng Chai; Haotian Yin; Bin Xing; Zhukun Li; Yunyi Guo; Di Zhang; Xin Zhang 143; Da He; Jie Zhang 030; Xiaoling Yu; Wei Wang 042; Xin Huang 005 (IEEE Trans. Smart Grid, 2023)