Analyzing and Patching SPEKE in ISO/IEC

Hao, Feng, Metere, Roberto, Shahandashti, Siamak F. et al. (1 more author) (2018) Analyzing and Patching SPEKE in ISO/IEC. Information Forensics and Security, IEEE Transactions on. pp. 2844-2855. ISSN 1556-6013



Copyright, Publisher and Additional Information: This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details
Keywords: key exchange, SPEKE, ISO standards, IEC standards, Pi Calculus, ProVerif, Security, Impersonation attack, key agreement, formal methods, Password-based authenticated key exchange
  • Submitted: February 2018
  • Accepted: 10 April 2018
  • Published (online): 3 May 2018
  • Published: November 2018
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Apr 2018 14:40
Last Modified: 12 Aug 2023 23:16
Published Version:
Status: Published
Refereed: Yes
Identification Number:
Related URLs:


Filename: Analysing_and_Patching_SPEKE_in_ISO_IEC.pdf

Description: Analysing_and_Patching_SPEKE_in_ISO_IEC