Provably Secure Symmetric-Key Privacy-Preserving authenticated key agreement protocol. - Liang Ni 001; Hengsheng Zhou; Yawei Zhang; Xiaoyan Liu; Bingke Gu (ICCNS, 2023)