Cited by 749Cryptography and Data SecurityAdvanced Authentication Protocols SecurityQuantum Information and Cryptography

The DOI matches its Crossref record; 26 of the 28 references it cites were found in a registry or an index.

Universally Composable Notions of Key Exchange and Secure Channels

Canetti, Ran, Krawczyk, Hugo·2002·Lecture Notes in Computer Science

DOI 10.1007/3-540-46035-7_22

Open this paper in CoChat — free account

Integrity signals

Registry

Crossref · 10.1007/3-540-46035-7_22

Cites

26 of 26 references verified0 citation errors · 0 not checkable

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

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
Self-citation
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
Self-citation
Security and Composition of Multiparty Cryptographic Protocols
Canetti, R. (2000) · Journal of Cryptology · doi:10.1007/s001459910006 · Cited by 1,397
Self-citation

Flagged first, then by citations

Show all 28 references

2 of the 28 references couldn’t be matched to a known paper.

Research works printed but not linked: 1

S. Goldwasser and S. Micali, Probabilistic encryption, JCSS, Vol. 28, No 2, April 1984, pp. 270–299.

Sorted by citations

Items 101–200 of 749

LDAKM-EIoT: Lightweight Device Authentication and Key Management Mechanism for Edge-Based IoT Deployment
Wazid, M., Das, A. K., Shetty, S. S., Rodrigues, J. J. P. C., & Park, Y. (2019) · Sensors · doi:10.3390/s19245539 · Cited by 81
A Flexible and Efficient Authentication and Secure Data Transmission Scheme for IoT Applications
Fang, D., Qian, Y., & Hu, R. Q. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.2970974 · Cited by 81
The OPTLS Protocol and TLS 1.3
Krawczyk, H., & Wee, H. (2016) · IEEE European Symposium on Security and Privacy · doi:10.1109/eurosp.2016.18 · Cited by 81
Self-citation
A Tutorial and Future Research for Building a Blockchain-Based Secure Communication Scheme for Internet of Intelligent Things
Wazid, M., Das, A. K., Shetty, S. S., & Jo, M. (2020) · IEEE Access · doi:10.1109/access.2020.2992467 · Cited by 80
Intelligent Drone-assisted Anonymous Authentication and Key Agreement for 5G/B5G Vehicular Ad-Hoc Networks
Zhang, J., Cui, J., Zhong, H., Bolodurina, I. P., & Liu, L. (2020) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2020.3029784 · Cited by 79
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols
Mitchell, J. C., Ramanathan, A., Scedrov, A., & Teague, V. (2001) · Electronic Notes in Theoretical Computer Science · doi:10.1016/s1571-0661(04)80968-x · Cited by 79
Private blockchain-envisioned security framework for AI-enabled IoT-based drone-aided healthcare services
Wazid, M., Bera, B., Mitra, A., Das, A. K., & Ali, R. (2020) · ACM MobiCom Workshop on Drone Assisted Wireless Communications for 5G and Beyond (DroneCom) · doi:10.1145/3414045.3415941 · Cited by 78
Proving the TLS Handshake Secure (As It Is)
Bhargavan, K., Fournet, C., Kohlweiss, M., Pironti, A., Strub, P.-Y., & Zanella-Béguelin, S. (2014) · Lecture notes in computer science · doi:10.1007/978-3-662-44381-1_14 · Cited by 78
A Privacy-Aware PUFs-Based Multiserver Authentication Protocol in Cloud-Edge IoT Systems Using Blockchain
Zhang, Y., Li, B., Liu, B., Hu, Y., & Zheng, H. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3068410 · Cited by 77
Computationally Sound Compositional Logic for Key Exchange Protocols
Datta, A., Đerek, A., Mitchell, J. C., & Warinschi, B. (2006) · IEEE Computer Security Foundations Workshop (CSFW) · doi:10.1109/csfw.2006.9 · Cited by 76
AAKE-BIVT: Anonymous Authenticated Key Exchange Scheme for Blockchain-Enabled Internet of Vehicles in Smart Transportation
Badshah, A. A., Waqas, M. M., Muhammad, F., Abbas, G., Abbas, Z. H., Chaudhry, S. A., & Chen, S. (2022) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2022.3220624 · Cited by 75
An Efficient and Secure Certificate-Based Access Control and Key Agreement Scheme for Flying Ad-Hoc Networks
Khan, M. A., Ullah, I., Kumar, N., Oubbati, O. S., Qureshi, I. M., Noor, F., & Khanzada, F. (2021) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2021.3055895 · Cited by 74
WSN-SLAP: Secure and Lightweight Mutual Authentication Protocol for Wireless Sensor Networks
Kwon, D., Yu, S., Lee, J., Son, S., & Park, Y. (2021) · Sensors · doi:10.3390/s21030936 · Cited by 72
Design of an Anonymity-Preserving Group Formation Based Authentication Protocol in Global Mobility Networks
Banerjee, S., Odelu, V., Das, A. K., Chattopadhyay, S., Kumar, N., Park, Y., & Tanwar, S. (2018) · IEEE Access · doi:10.1109/access.2018.2827027 · Cited by 71
HAtt: Hybrid Remote Attestation for the Internet of Things With High Availability
Aman, M. N., Basheer, M. H., Dash, S., Wong, J. W., Xu, J., Lim, H. W., & Sikdar, B. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.2983655 · Cited by 71
Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost
Damgård, I., & Orlandi, C. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-14623-7_30 · Cited by 71
A Secure Authentication Protocol for Multi-Server-Based E-Healthcare Using a Fuzzy Commitment Scheme
Barman, S., Shum, H. P. H., Chattopadhyay, S., & Samanta, D. (2019) · IEEE Access · doi:10.1109/access.2019.2893185 · Cited by 71
An Ensemble-Based Machine Learning-Envisioned Intrusion Detection in Industry 5.0-Driven Healthcare Applications
Wazid, M., Singh, J., Das, A. K., & Rodrigues, J. J. P. C. (2023) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2023.3318850 · Cited by 74
An Efficient, Anonymous and Robust Authentication Scheme for Smart Home Environments
Banerjee, S., Odelu, V., Das, A. K., Chattopadhyay, S., & Park, Y. (2020) · Sensors · doi:10.3390/s20041215 · Cited by 69
Universally Composable RFID Identification and Authentication Protocols
Burmester, M. V. D., Le, T. V., de Medeiros, B., & Tsudik, G. (2009) · ACM Transactions on Information and System Security · doi:10.1145/1513601.1513603 · Cited by 69
The IITM Model: A Simple and Expressive Model for Universal Composability
Küsters, R., Tuengerthal, M., & Rausch, D. (2020) · Journal of Cryptology · doi:10.1007/s00145-020-09352-1 · Cited by 69
Secrecy types for a simulatable cryptographic library
Laud, P. (2005) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/1102120.1102126 · Cited by 69
On the Design of Blockchain-Based Access Control Protocol for IoT-Enabled Healthcare Applications
Saha, S., Sutrala, A. K., Das, A. K., Kumar, N., & Rodrigues, J. J. P. C. (2020) · International Conference on Communications · doi:10.1109/icc40277.2020.9148915 · Cited by 68
Examining indistinguishability-based security models for key exchange protocols
Cremers, C. J. F. (2011) · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · doi:10.1145/1966913.1966925 · Cited by 68
Characterization of Security Notions for Probabilistic Private-Key Encryption
Katz, J. I., & Yung, M. M. (2005) · Journal of Cryptology · doi:10.1007/s00145-005-0310-8 · Cited by 68
A Dynamic Privacy-Preserving Key Management Protocol for V2G in Social Internet of Things
Park, K., Park, Y., Das, A. K., Yu, S., Lee, J., & Park, Y. (2019) · IEEE Access · doi:10.1109/access.2019.2921399 · Cited by 67
BSDCE-IoV: Blockchain-Based Secure Data Collection and Exchange Scheme for IoV in 5G Environment
Karim, S. M., Habbal, A., Chaudhry, S. A., & Irshad, A. (2023) · IEEE Access · doi:10.1109/access.2023.3265959 · Cited by 67
Composability of bellare-rogaway key exchange protocols
Brzuska, C., Fischlin, M., Warinschi, B., & Williams, S. C. (2011) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/2046707.2046716 · Cited by 67
A Robust Privacy-Preserving ECC-Based Three-Factor Authentication Scheme for Metaverse Environment
Thakur, G., Kumar, P., Chen, C., Vasilakos, A. V., Anchna, & Prajapat, S. (2023) · Computer Communications · doi:10.1016/j.comcom.2023.09.020 · Cited by 66
Privacy-preserving auditable token payments in a permissioned blockchain system
Androulaki, E., Camenisch, J. L., De, A., Dubovitskaya, M., Elkhiyaoui, K., & Tackmann, B. (2020) · ACM Conference on Advances in Financial Technologies (AFT) · doi:10.1145/3419614.3423259 · Cited by 65
Improved Authenticated Key Agreement Scheme for Fog-Driven IoT Healthcare System
Wu, T., Wang, T., Lee, Y.-Q., Zheng, W., Kumari, S., & Kumar, S. (2021) · Security and Communication Networks · doi:10.1155/2021/6658041 · Cited by 64
Retracted: Deep Learning and Smart Contract-Assisted Secure Data Sharing for IoT-Based Intelligent Agriculture
Kumar, R., Kumar, P., Aljuhani, A., Islam, A. K. M. N., Jolfaei, A., & Garg, S. (2022) · IEEE Intelligent Systems · doi:10.1109/mis.2022.3201553 · Cited by 66
Retracted
On the soundness of authenticate-then-encrypt
Maurer, U. M., & Tackmann, B. (2010) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/1866307.1866364 · Cited by 63
An EAP-Based Mutual Authentication Protocol for WLAN-Connected IoT Devices
Yadav, A. K., Misra, M., Pandey, P. K., & Liyanage, M. (2022) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2022.3194956 · Cited by 63
PUF-Based Robust and Anonymous Authentication and Key Establishment Scheme for V2G Networks
Yu, S., & Park, K. (2024) · IEEE Internet of Things Journal · doi:10.1109/jiot.2024.3349689 · Cited by 63
A survey on security challenges and protocols of electric vehicle dynamic charging system
Ponnuru, R. B., Palaniswamy, B., Reddy, A. G., Odelu, V., & Kim, H. (2022) · Security and Privacy · doi:10.1002/spy2.210 · Cited by 62
Security in Internet of Drones: A Comprehensive Review
Samanth, S., Prema, K. V., & Balachandra, M. (2022) · Cogent Engineering · doi:10.1080/23311916.2022.2029080 · Cited by 63
Post-Quantum Lattice-Based Secure Reconciliation Enabled Key Agreement Protocol for IoT
Dharminder, D., Reddy, C. B., Das, A. K., Park, Y., & Jamal, S. S. (2022) · IEEE Internet of Things Journal · doi:10.1109/jiot.2022.3213990 · Cited by 61
Secure Consumer-Centric Demand Response Management in Resilient Smart Grid as Industry 5.0 Application With Blockchain-Based Authentication
Ayub, M. F., Li, X., Mahmood, K., Shamshad, S., Saleem, M. A., & Omar, M. (2023) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2023.3320974 · Cited by 60
Explainable Deep Learning-Enabled Malware Attack Detection for IoT-Enabled Intelligent Transportation Systems
Wazid, M., Singh, J., Pandey, C., Sherratt, R. S., Das, A. K., Giri, D., & Park, Y. (2025) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2025.3525505 · Cited by 60
A resource friendly authentication scheme for space–air–ground–sea integrated Maritime Communication Network
Khan, M. A., Alzahrani, B. A., Barnawi, A., Al-Barakati, A. A., Irshad, A., & Chaudhry, S. A. (2022) · Ocean Engineering · doi:10.1016/j.oceaneng.2022.110894 · Cited by 59
Impact on blockchain-based AI/ML-enabled big data analytics for Cognitive Internet of Things environment
Mitra, A., Bera, B., Das, A. K., Jamal, S. S., & You, I. (2022) · Computer Communications · doi:10.1016/j.comcom.2022.10.010 · Cited by 59
A Security Enhanced Chaotic-Map-Based Authentication Protocol for Internet of Drones
Mahmood, K., Ghaffar, Z., Farooq, M., Yahya, K. A., Das, A. K., & Chaudhry, S. A. (2024) · IEEE Internet of Things Journal · doi:10.1109/jiot.2024.3379930 · Cited by 59
A Physically Secure, Lightweight Three-Factor and Anonymous User Authentication Protocol for IoT
Liu, Z., Guo, C., & Wang, B. (2020) · IEEE Access · doi:10.1109/access.2020.3034219 · Cited by 58
Robust Authentication Protocol for Dynamic Charging System of Electric Vehicles
Ponnuru, R. B., Amin, R., Reddy, A. G., Das, A. K., Susilo, W., & Park, Y. (2021) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2021.3116279 · Cited by 55
LAKA-UAV: Lightweight authentication and key agreement scheme for cloud-assisted Unmanned Aerial Vehicle using blockchain in flying ad-hoc networks
Yu, S., Lee, J., Sutrala, A. K., Das, A. K., & Park, Y. (2022) · Computer Networks · doi:10.1016/j.comnet.2023.109612 · Cited by 55
The faithfulness of abstract protocol analysis
Guttman, J. D., Thayer, F. J., & Zuck, L. D. (2001) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/501983.502009 · Cited by 55
A Secure Data Sharing Based on Key Aggregate Searchable Encryption in Fog-Enabled IoT Environment
Oh, J., Lee, J., Kim, M., Park, Y., Park, K., & Noh, S. (2022) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2022.3204991 · Cited by 54
Public Blockchain-Envisioned Security Scheme Using Post Quantum Lattice-Based Aggregate Signature for Internet of Drones Applications
Bagchi, P., Maheshwari, R., Bera, B., Das, A. K., Park, Y., Lorenz, P., & Yau, D. K. Y. (2023) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2023.3260579 · Cited by 54
SPHF-Friendly Non-interactive Commitments
Abdalla, M. F., Benhamouda, F., Blazy, O., Chevalier, C., & Pointcheval, D. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-42033-7_12 · Cited by 54
EV-PUF: Lightweight Security Protocol for Dynamic Charging System of Electric Vehicles Using Physical Unclonable Functions
Ponnuru, R. B., Reddy, A. G., Palaniswamy, B., & Das, A. K. (2022) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2022.3186949 · Cited by 53
Three-Factor Anonymous Authentication and Key Agreement Based on Fuzzy Biological Extraction for Industrial Internet of Things
Xu, H., Hsu, C.-F., Harn, L., Cui, J., Zhao, Z., & Zhang, Z. (2023) · IEEE Transactions on Services Computing · doi:10.1109/tsc.2023.3257569 · Cited by 53
SUSIC: A Secure User Access Control Mechanism for SDN-Enabled IIoT and Cyber–Physical Systems
Irshad, A., Mallah, G. A., Bilal, M., Chaudhry, S. A., Shafiq, M., & Song, H. (2023) · IEEE Internet of Things Journal · doi:10.1109/jiot.2023.3268474 · Cited by 53
Blockchain-Based Mutual Authentication Protocol for IoT-Enabled Decentralized Healthcare Environment
Chen, C., Chen, Z., Kumari, S., Obaidat, M. S., Rodrigues, J. J. P. C., & Khan, M. K. (2024) · IEEE Internet of Things Journal · doi:10.1109/jiot.2024.3396488 · Cited by 53
Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer
Garay, J. A., Wichs, D., & Zhou, H.-S. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-03356-8_30 · Cited by 53
Blockchain-Envisioned Provably Secure Multivariate Identity-Based Multi-Signature Scheme for Internet of Vehicles Environment
Srivastava, V., Debnath, S. K., Bera, B., Das, A. K., Park, Y., & Lorenz, P. (2022) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2022.3176755 · Cited by 52
Blockchain Assisted Intra-Twin and Inter-Twin Authentication Scheme for Vehicular Digital Twin System
Gautam, D., Thakur, G., Kumar, P., Das, A. K., & Park, Y. (2024) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2024.3394438 · Cited by 52
Less is more: relaxed yet composable security notions for key exchange
Brzuska, C., Fischlin, M., Smart, N. P., Warinschi, B., & Williams, S. C. (2013) · International Journal of Information Security · doi:10.1007/s10207-013-0192-y · Cited by 52
Unlinkable Secret Handshakes and Key-Private Group Key Management Schemes
Jarecki, S., & Liu, X. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-72738-5_18 · Cited by 52
On the Security of a Secure and Lightweight Authentication Scheme for Next Generation IoT Infrastructure
Das, A. K., Bera, B., Wazid, M., Jamal, S. S., & Park, Y. (2021) · IEEE Access · doi:10.1109/access.2021.3079312 · Cited by 51
An Efficient and Physically Secure Privacy-Preserving Key-Agreement Protocol for Vehicular Ad-Hoc Network
Saleem, M. A., Li, X., Ayub, M. F., Shamshad, S., Wu, F., & Abbas, H. (2023) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2023.3266030 · Cited by 51
USAF-IoD: Ultralightweight and Secure Authenticated Key Agreement Framework for Internet of Drones Environment
Badshah, A. A., Abbas, G., Waqas, M. M., Tu, S., Abbas, Z. H., Muhammad, F., & Chen, S. (2024) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2024.3375758 · Cited by 51
An Improved Lightweight Two-Factor Authentication Protocol for IoT Applications
Modarres, A. M. A., & Sarbishaei, G. (2022) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2022.3201971 · Cited by 50
A Secure and Anonymous User Authentication Scheme for IoT-Enabled Smart Home Environments Using PUF
Cho, Y., Oh, J., Kwon, D., Son, S., Lee, J., & Park, Y. (2022) · IEEE Access · doi:10.1109/access.2022.3208347 · Cited by 50
Universally Composable Authentication and Key-Exchange with Global PKI
Canetti, R., Shahaf, D., & Vald, M. (2016) · Lecture notes in computer science · doi:10.1007/978-3-662-49387-8_11 · Cited by 50
Self-citation
On the design of biometric-based user authentication protocol in smart city environment
Bera, B., Das, A. K., Balzano, W., & Medaglia, C. M. (2020) · Pattern Recognition Letters · doi:10.1016/j.patrec.2020.08.017 · Cited by 50
Making the Diffie-Hellman Protocol Identity-Based
Fiore, D., & Gennaro, R. (2010) · Lecture notes in computer science · doi:10.1007/978-3-642-11925-5_12 · Cited by 50
EV-Auth: Lightweight Authentication Protocol Suite for Dynamic Charging System of Electric Vehicles With Seamless Handover
Ponnuru, R. B., Reddy, A. G., Palaniswamy, B., & Kommuri, S. K. (2022) · IEEE Transactions on Intelligent Vehicles · doi:10.1109/tiv.2022.3153658 · Cited by 49
AISCM-FH: AI-Enabled Secure Communication Mechanism in Fog Computing-Based Healthcare
Wazid, M., Das, A. K., Shetty, S. S., Rodrigues, J. J. P. C., & Guizani, M. (2022) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2022.3220959 · Cited by 49
A robust provable-secure privacy-preserving authentication protocol for Industrial Internet of Things
Rangwani, D., Sadhukhan, D., Ray, S., Khan, M. K., & Dasgupta, M. (2021) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-020-01063-5 · Cited by 49
EAKE-WC: Efficient and Anonymous Authenticated Key Exchange Scheme for Wearable Computing
Tu, S., Badshah, A. A., Alasmary, H., & Waqas, M. M. (2023) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2023.3297854 · Cited by 48
A Secure Self-Certified Broadcast Authentication Protocol for Intelligent Transportation Systems in UAV-Assisted Mobile Edge Computing Environments
Kwon, D., Son, S., Kim, M., Lee, J., Das, A. K., & Park, Y. (2024) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2024.3428491 · Cited by 50
Security in IoMT ‐driven smart healthcare: A comprehensive review and open challenges
Garg, N., Wazid, M., Singh, J., Singh, D. P., & Das, A. K. (2022) · Security and Privacy · doi:10.1002/spy2.235 · Cited by 48
Secure and Privacy-Preserving Authentication Scheme Using Decentralized Identifier in Metaverse Environment
Kim, M., Oh, J., Son, S., Park, Y., Kim, J.-J., & Park, Y. (2023) · Electronics · doi:10.3390/electronics12194073 · Cited by 47
How to Break and Repair a Universally Composable Signature Functionality
Michael Backes, A., & Hofheinz, D. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30144-8_6 · Cited by 47
A Lightweight Protocol for Secure Data Provenance in the Internet of Things Using Wireless Fingerprints
Aman, M. N., Basheer, M. H., & Sikdar, B. (2020) · IEEE Systems Journal · doi:10.1109/jsyst.2020.3000269 · Cited by 46
An improved privacy preserving remote user authentication scheme for agricultural wireless sensor network
Rangwani, D., Sadhukhan, D., Ray, S., Khan, M. K., & Dasgupta, M. (2021) · Transactions on Emerging Telecommunications Technologies · doi:10.1002/ett.4218 · Cited by 46
Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols
Ramanathan, A., Mitchell, J. C., Scedrov, A., & Teague, V. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24727-2_33 · Cited by 46
A Secure Deepfake Mitigation Framework: Architecture, Issues, Challenges, and Societal Impact
Wazid, M., Mishra, A. K., Mohd, N., & Das, A. K. (2024) · Cyber Security and Applications · doi:10.1016/j.csa.2024.100040 · Cited by 45
Blockchain-Assisted Lightweight Authenticated Key Agreement Security Framework for Smart Vehicles-Enabled Intelligent Transportation System
Badshah, A. A., Abbas, G., Waqas, M. M., Muhammad, F., Abbas, Z. H., Bilal, M., & Song, H. (2024) · IEEE Transactions on Automation Science and Engineering · doi:10.1109/tase.2024.3381068 · Cited by 45
Achieving Better Privacy for the 3GPP AKA Protocol
Fouque, P.-A., Onete, C., & Richard, B. (2016) · Proceedings on Privacy Enhancing Technologies · doi:10.1515/popets-2016-0039 · Cited by 45
AI-Enabled Blockchain-Based Access Control for Malicious Attacks Detection and Mitigation in IoE
Bera, B., Das, A. K., Obaidat, M. S., Vijayakumar, P., Hsiao, K.-F., & Park, Y. (2020) · IEEE Consumer Electronics Magazine · doi:10.1109/mce.2020.3040541 · Cited by 45
AI-Envisioned Blockchain-Enabled Signature-Based Key Management Scheme for Industrial Cyber–Physical Systems
Das, A. K., Bera, B., Saha, S., Kumar, N., You, I., & Chao, H. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3109314 · Cited by 45
An Authentication Protocol for Next Generation of Constrained IoT Systems
Rostampour, S., Bagheri, N., Bendavid, Y., Safkhani, M., Kumari, S., & Rodrigues, J. J. P. C. (2022) · IEEE Internet of Things Journal · doi:10.1109/jiot.2022.3184293 · Cited by 45
V2G-Auth : Lightweight Authentication and Key Agreement Protocol for V2G Environment Leveraging Physically Unclonable Functions
Reddy, A. G., Ponnuru, R. B., Odelu, V., Wang, L., & Kumar, S. (2023) · IEEE Transactions on Industrial Cyber-Physical Systems · doi:10.1109/ticps.2023.3290539 · Cited by 44
Design of Secure Handover Authentication Scheme for Urban Air Mobility Environments
Kwon, D., Son, S., Park, Y., Kim, H., Park, Y., Lee, S.-W., & Jeon, Y.-S. (2022) · IEEE Access · doi:10.1109/access.2022.3168843 · Cited by 44
Building Better Signcryption Schemes with Tag-KEMs
Bjørstad, T. E., & Dent, A. W. (2006) · Lecture notes in computer science · doi:10.1007/11745853_32 · Cited by 44
A secure blockchain-oriented data delivery and collection scheme for 5G-enabled IoD environment
Irshad, A., Chaudhry, S. A., Ghani, A., & Bilal, M. (2021) · Computer Networks · doi:10.1016/j.comnet.2021.108219 · Cited by 43
An access control scheme in IoT-enabled Smart-Grid systems using blockchain and PUF
Zahoor, A., Mahmood, K., Shamshad, S., Saleem, M. A., Ayub, M. F., Conti, M., & Das, A. K. (2023) · Internet of Things · doi:10.1016/j.iot.2023.100708 · Cited by 42
A Decentralized Authenticated Key Agreement Scheme Based on Smart Contract for Securing Vehicular Ad-Hoc Networks
Wei, L., Cui, J., Zhong, H., Bolodurina, I. P., Gu, C., & He, D. (2023) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2023.3288930 · Cited by 42
An Efficient Lightweight Provably Secure Authentication Protocol for Patient Monitoring Using Wireless Medical Sensor Networks
Thakur, G., Prajapat, S., Kumar, P., Das, A. K., & Shetty, S. S. (2023) · IEEE Access · doi:10.1109/access.2023.3325130 · Cited by 42
Anonymous Dynamic Group Authenticated Key Agreements Using Physical Unclonable Functions for Internet of Medical Things
Lee, T., Ye, X., & Lin, S.-H. (2022) · IEEE Internet of Things Journal · doi:10.1109/jiot.2022.3149117 · Cited by 42
A PUF-based anonymous authentication protocol for wireless medical sensor networks
Shao, X., Guo, Y., & Guo, Y. (2022) · Wireless Networks · doi:10.1007/s11276-022-03070-1 · Cited by 42
Browser Model for Security Analysis of Browser-Based Protocols
Groß, T., Pfitzmann, B., & Sadeghi, A. (2005) · Lecture notes in computer science · doi:10.1007/11555827_28 · Cited by 42
Blockchain‐Envisioned Secure Authentication Approach in AIoT: Applications, Challenges, and Future Research
Wazid, M., Das, A. K., & Park, Y. (2021) · Wireless Communications and Mobile Computing · doi:10.1155/2021/3866006 · Cited by 41
Authenticating Drone-Assisted Internet of Vehicles Using Elliptic Curve Cryptography and Blockchain
El-Zawawy, M. A., Brighente, A., & Conti, M. (2022) · IEEE Transactions on Network and Service Management · doi:10.1109/tnsm.2022.3217320 · Cited by 41
Provably Secure Conditional-Privacy Access Control Protocol for Intelligent Customers-Centric Communication in VANET
Saleem, M. A., Li, X., Mahmood, K., Shamshad, S., Ayub, M. F., Bashir, A. K., & Omar, M. (2023) · IEEE Transactions on Consumer Electronics · doi:10.1109/tce.2023.3324273 · Cited by 41
Authentication schemes for Internet of Things (IoT) networks: A systematic review and security assessment
Yalli, J. S., Hasan, M. H., Jung, L. T., & Al-Selwi, S. M. (2024) · Internet of Things · doi:10.1016/j.iot.2024.101469 · Cited by 41
Provably Secure Multi-Server Authentication Protocol Using Fuzzy Commitment
Barman, S., Das, A. K., Samanta, D., Chattopadhyay, S., Rodrigues, J. J. P. C., & Park, Y. (2018) · IEEE Access · doi:10.1109/access.2018.2854798 · Cited by 41
A Secure Three-Factor Authentication Protocol for E-Governance System Based on Multiserver Environments
Cho, Y., Oh, J., Kwon, D., Son, S., Yu, S., Park, Y., & Park, Y. (2022) · IEEE Access · doi:10.1109/access.2022.3191419 · Cited by 41

Authors: Canetti, R., & Krawczyk, H.
Affiliations: IBM Research - Thomas J. Watson Research Center (US)
Technion – Israel Institute of Technology (IL)
ORCID: Canetti, Ran
Krawczyk, Hugo
Venue: Lecture Notes in Computer Science
Publisher: Springer Berlin Heidelberg
Published: 2002
Pages: 337-351
ISSN: 0302-9743 (ISSN-L)
DOI: 10.1007/3-540-46035-7_22
OpenAlex: W1561441787
Cited by: 746
References: 28
Citations by year: 2026: 39 · 2025: 95 · 2024: 95 · 2023: 88 · 2022: 74 · 2021: 54 · 2020: 49 · 2019: 19 · 2018: 18 · 2017: 8 · 2016: 8 · 2015: 11 · 2014: 12 · 2013: 11 · 2012: 7
FWCI: 12.48
Type: conference paper
Language: en
Open access: closed
Locations: Lecture notes in computer science (publishedVersion)
Topics: Physical Sciences › Computer Science › Computer Networks and Communications › Cryptography and Data Security
Physical Sciences › Computer Science › Computer Networks and Communications › Advanced Authentication Protocols Security
Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
Keywords: key exchange, secure communication channels, universally composable security, composability, secret key establishment

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review

Universally Composable Notions of Key Exchange and Secure Channels

Overview

Integrity signals

Verification

Claims the paper makes

Claims other papers make about this one

Citations

Cites

Cited by

Related

Metadata

Record

About these checks