Security Proof of AugPAKE.
SeongHan Shin, Kazukuni Kobara, Hideki Imai · 2010
Abstract. In this paper, we show that the AugPAKE protocol [16] provides the semantic security of session keys under the strong Diffie-Hellman (SDH) assumption in the random oracle model. Key words: PAKE, on-line/off-line dictionary attacks, provable security, SDH, random oracle 1