This cluster of papers focuses on the analysis, design, and improvement of security protocols for authentication and key exchange. It covers topics such as smart card security, biometrics-based authentication, cryptographic protocol verification, and secure communication in wireless sensor networks and Internet of Things environments.