Abstract:Authenticated Key Exchange (AKE) is a cryptographic scheme with the aim to establish a high-entropy and secret session key over a insecure communications network. Password-Authenticated Key Exchange (PAKE) assumes that the parties in play share a simple password, which is cheap and human-memorable and is used to achieve the authentication. PAKEs are practically relevant as these features are extremely appealing in an age where most people access sensitive personal data remotely from more-and-more pervasive hand-held devices. Theoretically, PAKEs allow the secure computation and authentication of a high-entropy piece of data using a low-entropy string as a starting point. In this paper, we apply the recently proposed technique introduced in [19] to construct two lattice-based PAKE protocols enjoying a very simple and elegant design that is an parallel extension of the class of Random Oracle Model (ROM)-based protocols PAK and PPK [13,41], but in the lattice-based setting. The new protocol resembling PAK is three-pass, and provides mutual explicit authentication, while the protocol following the structure of PPK is two-pass, and provides implicit authentication. Our protocols rely on the Ring-Learning-with-Errors (RLWE) assumption, and exploit the additive structure of the underlying ring. They have a comparable level of efficiency to PAK and PPK, which makes them highly attractive. We present a preliminary implementation of our protocols to demonstrate that they are both efficient and practical. We believe they are suitable quantum safe replacements for PAK and PPK.

Novel Security Protocol and Strand Space Analysis

Inter-domain authentication scheme for Pervasive Computing Environments

Authentication scheme based on biometric encryption for pervasive computing environments

Study on the Proof Method of Authentication Protocols Based on Strand Space

An Efficient Delegation-Based Anonymous Authentication Protocol

Formal Analysis of 3GPP Authentication and Key Agreement Based on the Strand Space Model

Security analysis of Kerberos protocol based on the strand space model

The Strand Space Model of NSSK Protocol and Its Analysis

A Novel Identity Authentication And Key Agreement Scheme For Ad Hoc Network Security

An Attack—Finding Algorithm for Security Protocols

New identity-based three-party authenticated key agreement protocol with provable security

Security Analysis of Shim's Authenticated Key Agreement Protocols from Pairings

An SSL-PUF Based Access Authentication and Key Distribution Scheme for the Space–Air–Ground Integrated Network

Formal verification of Kao Chow cryptographic protocol based on strand space model

A Security Protocol Applied to Covert Communication Platform and Its Formal Analysis

Method of Designing Security Protocol for Remote Attestation

Design and Analysis of a Security Protocol for Ubiquitous Environments

Analysis of Yahalom-Paulson Protocol and Its Improvement

Provably Secure Password Authenticated Key Exchange Based On Rlwe For The Post-Quantum World

SIP Security Scheme of Internet Multimedia Communication

An efficient two-factor authentication protocol based on elliptic curve cryptosystem with provable security