Adversary models have been integral to the design of provably-secure cryptographic
schemes or protocols. However, their use in other computer science research disciplines is …

The Industrial Internet of Things (IIoT) consists of sensors, networks, and services to connect
and control production systems. Its benefits include supply chain monitoring and machine …

We introduce a formal model for certificateless authenticated key exchange (CL-AKE)
protocols. Contrary to what might be expected, we show that the natural combination of an …

Secured password authentication and update of passwords are two essential requirements
for remote login over unreliable networks. In this paper, an elliptic curve cryptography (ECC) …

With the fast development of the Internet and the telecommunication technologies, internet
users are carrying out various electronic transactions over internet by means of the …

Health-care centers have been meeting challenges due to the increase in the aging
population and chronic diseases that need continuous medical monitoring. Wireless body …

In certificateless cryptography, a user secret key is derived from two partial secrets: one is
the identity-based secret key (corresponding to the user identity) generated by a Key …

In mobile multi-server authentication, a client can access different servers over an insecure
channel like Internet and wireless networks for numerous online applications. In the …

Certificateless public key cryptography (CLPKC), which can simplify the complex certificate
management in the traditional public key cryptography and resolve the key escrow problem …

We survey the set of all prior two-party certificateless key agreement protocols available in
the literature at the time of this work. We find that all of the protocols exhibit vulnerabilities of …