Universally Composable Notions of Key Exchange and Secure Channels

New directions in cryptography

Diffie, W., & Hellman, M. (1976) · IEEE Transactions on Information Theory · doi:10.1109/tit.1976.1055638 · Cited by 14,713

Handbook of applied cryptography

(1997) · Choice Reviews Online · doi:10.5860/choice.34-4512 · Cited by 10,357

Universally composable security: a new paradigm for cryptographic protocols

Canetti, R. (2001) · Annual Symposium on Foundations of Computer Science · doi:10.1109/sfcs.2001.959888 · Cited by 3,348

The knowledge complexity of interactive proof systems

Goldwasser, S., Micali, S., & Rackoff, C. (1989) · SIAM Journal on Computing · doi:10.1137/0218012 · Cited by 3,285

Handbook of Applied Cryptography

Menezes, A., van Oorschot, P. C., & Vanstone, S. A. (2010) · CRC Press eBooks · doi:10.1201/9781439821916 · Cited by 2,910

A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks

Goldwasser, S., Micali, S. M., & Rivest, R. L. (1988) · SIAM Journal on Computing · doi:10.1137/0217017 · Cited by 2,803

Foundations of Cryptography

Goldreich, O. (2001) · Cambridge University Press eBooks · doi:10.1017/cbo9780511546891 · Cited by 2,220

Entity Authentication and Key Distribution

Bellare, M., & Rogaway, P. (2007) · Lecture Notes in Computer Science · doi:10.1007/3-540-48329-2_21 · Cited by 1,752

Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

Canetti, R., & Krawczyk, H. (2001) · Lecture notes in computer science · doi:10.1007/3-540-44987-6_28 · Cited by 1,706

Security and Composition of Multiparty Cryptographic Protocols

Canetti, R. (2000) · Journal of Cryptology · doi:10.1007/s001459910006 · Cited by 1,397

Secure and lightweight key agreement protocol for remote surgery over tactile internet using physically unclonable functions

Lee, T., Huang, W.-J., & Chang, I. (2024) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-024-01793-w

Secure and Privacy-Preserving UAV-based Rescue Operations for Vehicles in Rugged Terrain

Lama, R., Rathod, B. N., Raman, R., & Karmakar, S. (2024) · International Conference on Computing, Communication and Networking Technologies (ICCCNT) · doi:10.1109/icccnt61001.2024.10724340

Comments on Enhanced Authenticated Key Agreement for Surgical Applications in a Tactile Internet Environment

Wu, H., & Wu, T. (2023) · International Conference on Intelligent Computing and Its Emerging Applications (ICEA) · doi:10.1145/3659154.3659187

QSDA: Quantum-Safe Mobile Sequencing Data Authorization Scheme to Facilitate Cancer Research and Treatment

Le, T. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3544547

Composing bridges

Barcau, M., Pașol, V., & Ţurcaş, G. C. (2025) · Information and Computation · doi:10.1016/j.ic.2025.105285

A Lightweight Multi-Party Key Authentication Management Protocol Based on Cyber-Physical Systems

Zhao, X. (2025) · Information Technology And Control · doi:10.5755/j01.itc.54.1.39944

Enhancing TLS Handshake Security: A Novel Mutual Cryptographic Scheme

Feng, Y. (2025) · Tehnicki vjesnik - Technical Gazette · doi:10.17559/tv-20240528001688

Formal Security Analysis of the Authentication Protocol in Smart Cities Using AVISPA

Park, H., & Park, Y. (2025) · Lecture notes in computer science · doi:10.1007/978-3-031-97573-8_1 · Cited by 2

QT-PAKE: Secure Messaging via Quantum-Safe Threshold PAKE

Li, Z., Zhu, H., Liao, G., Wang, M., Li, P., & Gope, P. (2025) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2025.3611598

A Post Quantum Secured Authentication Protocol for the Metaverse

Yadav, A. K. (2025) · International Conference on Communications · doi:10.1109/icc52391.2025.11161686

P-MASFEP: Security-Enhanced PUF-Based Mutual Authentication and Session Key Establishment Using Fuzzy Extractor and PKI

Tyagi, H., & Sethia, D. (2025) · Smart innovation, systems and technologies · doi:10.1007/978-981-96-6254-8_48

Two-Factor Authenticated Key Exchange with Enhanced Security from Post-quantum Assumptions

Fan, Q. W., Bao, C., Shi, X., Han, S., & Liu, S. (2025) · Lecture notes in computer science · doi:10.1007/978-3-032-07891-9_8

Lightweight hybrid lattice–based session key agreement protocol for multimedia IoT

Singh, A., Chandra, H., & Rana, S. (2025) · Annals of Telecommunications · doi:10.1007/s12243-025-01122-z

Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes

Jourenko, M., & Völker, M. (2025) · Lecture notes in computer science · doi:10.1007/978-981-95-4434-9_30

Digital Twin-Enabled Context-Aware Authentication Protocol for IoT-Based Healthcare Applications

Saleem, M. A., Li, X., Mahmood, K., Shamshad, S., Ghaffar, Z., & Wang, G. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3633318

Privacy-Preserving Avatar Authentication in the Metaverse via First-Image Commitments

Chen, C., Xiong, Z., Kumari, S., & Li, Y. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3642121

Universally composable multi-factor authentication scheme for rail control systems

Hu, X., Zhang, H., Wang, D., Zhang, Z., & Wang, Q. (2025) · Journal of Systems Architecture · doi:10.1016/j.sysarc.2025.103670

User-Autonomous Multi-Factor Authentication Supporting Arbitrary Factor Configurations

Li, W., Cheng, H., & Liang, K. (2025) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2025.3622084

Blockchain-Based Lightweight Authentication Protocol for Secure Drone Communication in Smart Cities

Sousa, M. D. J., Gondim, P. R. D. L., & Lloret, J. (2025) · International Conference on Computing, Management and Telecommunications · doi:10.1109/commantel68363.2025.11368530

Adversarial Attacks Resilient Machine Learning-Enabled Access Control Scheme for Consumer Electronics in IoT-Based Applications

Bera, B., Bisht, A., Das, A. K., Roy, S., Shetty, S. S., & Sikdar, B. (2026) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2026.3662480

Cryptanalysis of Irsad et al’s Scheme “SUSIC: A Secure User Access Control Mechanism for SDN-Enabled IIoT and Cyber–Physical Systems”

Maurya, A., & Ray, S. (2026) · Lecture notes in networks and systems · doi:10.1007/978-3-032-15398-2_33

Secure Federated Maximum Entropy Classifier for Intrusion Detection in IoT Consumer Electronics

Dey, M., Sharma, S., Das, A. K., Prajapat, S., & Park, Y. (2026) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2026.3665219

Extensible Privacy-Aware Authenticated Key Agreement Scheme for Low-Altitude Intelligent Networks

Wang, J., Jiao, Z., Chen, J., Zhang, X., Du, H., & Debbah, M. A. (2026) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2026.3666659

On the security of instante messaging : towards solutions for multi-device and group applications

Duguey, C. (2021) · theses.fr (ABES) · doi:10.70675/acc446fbz08bbz4800z92d4zf3aac0bad058

Provable security of real world protocols

Bossuat, A. (2020) · theses.fr (ABES) · doi:10.70675/f8d5fe7cz0b45z4e57zba4az51aebdc0c6ab

A cryptographic approach to preventing unauthorized access

Nedelcu, A. (2022) · theses.fr (ABES) · doi:10.70675/fe393d52z41d8z4927z9b16zccc78b4e2c3f

Adversarial Attack Detection and Mitigation in Next-Generation Intelligent Consumer Electronics

Bera, B., Bera, S., Liyanage, M., & Sikdar, B. (2026) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2026.3684061

A Hybrid Chebyshev Chaotic Map-based Authentication Protocol for Industrial Internet of Things

Yang, Q., Ma, L., Tu, S., Ai, X., & Li, K. (2025) · International Conference on Communication and Network Security (ICCNS) · doi:10.1145/3789456.3796191

PUF-Enhanced Lightweight Authentication and Key Agreement for UAV Networks

Dou, J., Tu, S., Li, K., Liu, D., & Li, Z. (2025) · International Conference on Communication and Network Security (ICCNS) · doi:10.1145/3789456.3789464

Privacy-Preserving Edge-Assisted Authentication and Key Agreement Protocol for Resource-Asymmetric IoT

Guo, Z., Wu, S., Luo, Y., Fu, S., & Xu, M. (2026) · IEEE International Conference on Acoustics Speech and Signal Processing · doi:10.1109/icassp55912.2026.11461924

TACA: Blockchain-Based Traceable and Anonymous Cross-Domain Authentication Scheme for IIoT

Liang, Y., Meng, X., & Deng, H. (2026) · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · doi:10.1007/978-3-032-23447-6_10

A Robust Tamper-Resistant and Location-Aware Authentication Protocol for Securing Charging Services in V2G Environments

Umer, M., Farooq, M., Naqvi, S. A. A., Mahmood, K., Alzahrani, B. A., Das, A. K., & Chaudhry, S. A. (2026) · IEEE Internet of Things Journal · doi:10.1109/jiot.2026.3696599

A Provably Secure Multifactor Authentication and Key Exchange Protocol With Anonymity for Next-Generation IoT

Yadav, A. K., Kumar, R., V, Braeken, A., & Liyanage, M. (2026) · IEEE Transactions on Network and Service Management · doi:10.1109/tnsm.2026.3696671

LAPWF-IoD: Lightweight Authentication Protocol Combining Passwords and Wireless Fingerprints for Internet of Drones in Smart City Environments

Chen, Z., Zhang, H., Yuan, X., Chen, L., & Liang, L. (2026) · IEEE Internet of Things Journal · doi:10.1109/jiot.2026.3706158

Blockchain-enabled drones-assisted maritime communications system for secure big data analytics

Agrawal, S., Vangala, A., Das, A. K., Kumar, N., & Park, Y. (2026) · Cluster Computing · doi:10.1007/s10586-026-06250-2

Authentication framework for secure smart farming system deployed for sustainable development of smart cities: a review

Patwal, A., Wazid, M., Singh, D. P., Das, A. K., & Vivekananda Bhat, K. (2026) · Cluster Computing · doi:10.1007/s10586-026-06177-8

Enhancing Maritime Security with Blockchain-Enabled IoT Drone Networks

Agrawal, S., Vangala, A., Das, A. K., & Kumar, N. (2026) · IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) · doi:10.1109/percomworkshops68308.2026.11585352

Secure and Trusted Authentication for AI-Driven Infrastructure Reporting Problems in Smart City

Agrawal, S., Tekchandani, P., Das, A. K., Pal, S., & Verma, R. (2026) · IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) · doi:10.1109/percomworkshops68308.2026.11585294

SLAKA-WS: Secure and Lightweight Authentication and Key Agreement Scheme for Wearable Devices Used in Sports-IoT

Sang, S., & Tian, J. (2026) · International Conference on Computer Supported Cooperative Work in Design (CSCWD) · doi:10.1109/cscwd68734.2026.11581498

Paradox: Recursive Visual Entropy Key Derivation Engine (RVE-KDE) Experimental Framework for Deterministic Image Based Cryptographic Key Generation

Ferwani, C., Suvarna, B., Sarika, B., Vrushabh, H., Kshitij, J., & Anushka, S. (2026) · Indian Journal of Computer Science and Technology · doi:10.59256/indjcst.20260502086

LFAP: Lightweight and Flexible Authentication Protocol for Comprehensive Key Security in Wireless Body Area Networks

Wang, J., Xu, C. L., Zhu, L., Xu, Y., Zhang, H., & Ke, X. (2026) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2026.3712265

Quantum-Safe Lattice-Based Authentication and Key Agreement Protocol for Internet of Things

Bera, B., Parameswarath, R. P., & Sikdar, B. (2026) · International Conference on Communications · doi:10.1109/icc59461.2026.11588078

A secure authentication protocol for detecting intrusions in IoT traffic data streams using federated learning

Sharma, S., Dey, M., Das, A. K., & Park, Y. (2026) · Cluster Computing · doi:10.1007/s10586-026-06327-y

A Secure and Efficient Access Control Protocol for Iot-Based Smart Agriculture Systems

Patwal, A., Obaidat, M. S., Wazid, M., Singh, D. P., & Das, A. K. (2026) · International Conference on Computer, Information and Telecommunication Systems · doi:10.1109/cits70307.2026.11637143

Quantum-Resistant Security Protocol for Digital Identity Verification Using KYC-as-a-Service in 6G-Enabled Banking Applications

Pandey, A. K., Ghosh, D., Obaidat, M. S., Das, A. K., Pal, S., Kappagantu, R. K., Katakam, S. V., & Chougala, J. (2026) · International Conference on Computer, Information and Telecommunication Systems · doi:10.1109/cits70307.2026.11637333

Lightweight ASCON-Based Authentication for Secure Internet of Medical Things With XAI

Almasre, M. (2026) · IEEE Internet of Things Journal · doi:10.1109/jiot.2026.3724825

Blockchain-Aided Authenticated Key Agreement With Message-Dependent Traceability for WBANs

Wang, C., Ming, Y., Liu, H., & Deng, Y. (2026) · IEEE Transactions on Network and Service Management · doi:10.1109/tnsm.2026.3725642

Agentic AI-Powered Sensors-Based Privacy-Preserving Postquantum Secure Authentication for IoT-Enabled Medical Cyber-Physical Environment

Jain, S., Pandey, A. K., Das, A. K., Wazid, M., & Sikdar, B. (2026) · IEEE Journal of Selected Areas in Sensors · doi:10.1109/jsas.2026.3728328

A New Security Proof of Practical Cryptographic Devices Based on Hardware, Software and Protocols

Wang, A., Li, Z., Yang, X., & Yu, Y. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-21031-0_29

Universally Composable Notions of Key Exchange and Secure Channels (Extended Abstract)

Canetti, R., & Krawczyk, H. (2002) · Cited by 19

Universally Composable Password-Based Key Exchange

Composable, U., Key, P.-B., Katz, J., Mackenzie, P., Google Inc, Canetti, R., Halevi, S., Katz, J., Lindell, Y., & Mackenzie, P. (2005)

Initiator-Resilient Universally Composable Key Exchange

Hofheinz, D., Müller‐Quade, J., & Steinwandt, R. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-39650-5_4 · Cited by 34

On the security of key exchange protocols

Williams, S. C. (2011) · OpenGrey (Institut de l'Information Scientifique et Technique)

Universally Composable Password-Based Key

Canetti, R., Halevi, S., Katz, J., & Lindell, Y. (2008)