Authenticated key exchange protocols are a fundamental cryptography building block for
establishing a secret shared key among participating parties over an open network model …

Constructing a secure key exchange protocol is one of the most challenging problems in
information security. We propose a provably secure two-round two-party authenticated key …

Tight security is an important requirement of practical cryptographic schemes. Compared
with loosely‐secure schemes, tightly‐secure schemes allow shorter security parameters …

So far, there exist no two-pass authenticated key exchange protocols which are provably
secure in the eCK model and meanwhile achieve perfect forward security against active …

Since the introduction of extended Canetti–Krawczyk (eCK) security model for two‐party key
exchange, many protocols have been proposed to provide eCK security. However, most of …

Security is a significant problem for communications in many scenarios in Internet of Things
(IoT), such as military applications, electronic payment, wireless reprogramming of smart …

By far, the extended Canetti-Krawczyk (eCK) model still is one of strongest security model for
authenticated key exchange (AKE) protocols. In this paper, a secure authenticated key …

How to construct secure key agreement protocol is one of the most challenging problems in
information security area. However, most of the current secure protocols can only achieve …

This paper investigates the two-pass (one round) authenticated key exchange protocol in
the enhanced Canetti-Krawczyk (eCK) model with perfect forward security against active …

This paper introduces a new lightweight key exchange (KE) protocol which can be suitably
implemented on resource-constrained smart devices to protect the privacy of …