TBVPAKE: An efficient and provably secure verifier-based PAKE protocol for IoT applications. - Mingping Qi; Zhiyao Cui; Gaowei Liang (J. Syst. Archit., 2023)