IEEE ACCESS, vol.8, pp.26210-26222, 2020 (SCI-Expanded)
In this paper, we propose a novel authenticated key exchange scheme based on the Bi-GISIS problem for the post-quantum world. The security of the proposed scheme is based on the hardness assumption of the Bi-GISIS problem. The reusable key property is provided for the proposed scheme in the random oracle model by using the bilateral pasteurization method. To obtain an authenticated key exchange scheme, we use the implicit authentication steps. The security analysis of the proposed scheme is presented in the Bellare-Rogaway security model, where weak perfect forward secrecy is provided. We also give novel perspective to the Bi-GISIS based authenticated key exchange problem.