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

Show all 28 references

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 401–500 of 749

CovidBChain: Framework for access‐control, authentication, and integrity of Covid‐19 data
Pawar, V., & Sachdeva, S. (2022) · Concurrency and Computation Practice and Experience · doi:10.1002/cpe.7397 · Cited by 11
HPAKE: Honey Password-Authenticated Key Exchange for Fast and Safer Online Authentication
Li, W., Wang, P., & Liang, K. (2022) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2022.3214729 · Cited by 11
RKMIS: robust key management protocol for industrial sensor network system
Itoo, S., Ahmad, M., Kumar, V., & Alkhayyat, A. H. (2023) · The Journal of Supercomputing · doi:10.1007/s11227-022-05041-x · Cited by 11
DC-IIoT: A Secure and Efficient Authentication Protocol for Industrial Internet-of-Things Based on Distributed Control Plane
Salam, R., Roy, P. K., & Bhattacharya, A. (2023) · Internet of Things · doi:10.1016/j.iot.2023.100782 · Cited by 11
AP-CDE: Cost-Efficient Authentication Protocol for Cross-Domain Data Exchange in IIoT
Wang, K., Sun, K., Dong, J., Sha, L., & Xiao, F. (2023) · IEEE Systems Journal · doi:10.1109/jsyst.2023.3269046 · Cited by 11
Smart h‐Chain: A blockchain based healthcare framework with insurance fraud detection
Mahapatra, S., & Sinha, D. (2023) · Transactions on Emerging Telecommunications Technologies · doi:10.1002/ett.4911 · Cited by 11
A blockchain-based ubiquitous entity authentication and management scheme with homomorphic encryption for FANET
Xie, H., Zheng, J. G., He, T., Wei, S., & Hu, C. (2024) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-024-01624-y · Cited by 11
IFTTT-based secure smart farming monitoring system: data integrity and agricultural optimization
Lama, R., & Karmakar, S. (2024) · International Journal of Information Technology · doi:10.1007/s41870-024-01894-y · Cited by 11
A novel lightweight multi-factor authentication scheme for MQTT-based IoT applications
Saqib, M., & Moon, A. H. (2024) · Microprocessors and Microsystems · doi:10.1016/j.micpro.2024.105088 · Cited by 11
Cryptanalysis and enhancement of two-pass authenticated key agreement with key confirmation protocols
Mohammad, Z., Chen, Y.-C., Hsu, C.-L., & Lo, C.-C. (2010) · IETE Technical Review · doi:10.4103/0256-4602.62786 · Cited by 11
Identity-Based Key Exchange Protocols without Pairings
Fiore, D., & Gennaro, R. (2010) · Transactions on computational science · doi:10.1007/978-3-642-17499-5_3 · Cited by 11
A Diffie-Hellman Key Exchange Protocol Without Random Oracles
Jeong, I. R., Kwon, J. O., & Lee, D. H. (2006) · Lecture notes in computer science · doi:10.1007/11935070_3 · Cited by 11
On the Security of the Canetti-Krawczyk Model
Li, X., Ma, J., & Moon, S. (2005) · Lecture notes in computer science · doi:10.1007/11596981_53 · Cited by 11
Key Insulation and Intrusion Resilience over a Public Channel
Bellare, M., Duan, S., & Palacio, A. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-00862-7_6 · Cited by 11
Provably Secure Efficient Key-Exchange Protocol for Intelligent Supply Line Surveillance in Smart Grids
Ayub, M. F., Li, X., Mahmood, K., Alenazi, M. J. F., Das, A. K., & Wang, G. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3549981 · Cited by 10
Securing the Skies: A Cutting-Edge Authenticated Key Establishment Protocol for the Internet of Drones
Shamshad, S., Belguith, S., & Oracevic, A. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3562117 · Cited by 10
PUF-PSS: A Physically Secure Privacy-Preserving Scheme Using PUF for IoMT-Enabled TMIS
Yu, S., & Park, K. (2022) · Electronics · doi:10.3390/electronics11193081 · Cited by 10
CLAACS‐IOD : Certificate‐embedded lightweight authentication and access control scheme for Internet of Drones
Sadhukhan, D., Ray, S., Dasgupta, M., & Rodrigues, J. J. P. C. (2023) · Software Practice and Experience · doi:10.1002/spe.3196 · Cited by 10
Password-Authenticated TLS via OPAQUE and Post-Handshake Authentication
Hesse, J., Jarecki, S., Krawczyk, H., & Wood, C. A. (2023) · Lecture notes in computer science · doi:10.1007/978-3-031-30589-4_4 · Cited by 10
Self-citation
Security Analysis and Improvement of Authenticated Key Agreement Protocol for Remote Patient Monitoring IoMT
Gautam, D., Thakur, G., Obaidat, M. S., Hsiao, K.-F., & Kumar, P. (2024) · International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI) · doi:10.1109/ccci61916.2024.10736457 · Cited by 10
Group Key Exchange Enabling On-Demand Derivation of Peer-to-Peer Keys
Manulis, M. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-01957-9_1 · Cited by 10
A secure and efficient authentication protocol for wireless applications in multi-server environment
Kumar, P., & Om, H. (2022) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-022-01323-6 · Cited by 10
Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
Barbosa, M., & Farshim, P. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-02384-2_15 · Cited by 10
Universally composable secure TNC model and EAP-TNC protocol in IF-T
Zhang, J., Ma, J., & Moon, S. (2010) · Science China Information Sciences · doi:10.1007/s11432-010-0059-z · Cited by 10
Ciphertext verification security of symmetric encryption schemes
Hu, Z., Sun, F., & Jiang, J. (2009) · Science in China Series F Information Sciences · doi:10.1007/s11432-009-0158-x · Cited by 10
Affiliation-Hiding Envelope and Authentication Schemes with Efficient Support for Multiple Credentials
Jarecki, S., & Liu, X. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-70583-3_58 · Cited by 10
Relaxing Environmental Security: Monitored Functionalities and Client-Server Computation
Prabhakaran, M., & Sahai, A. (2005) · Lecture notes in computer science · doi:10.1007/978-3-540-30576-7_7 · Cited by 10
Physical unclonable functions and QKD-based authentication scheme for IoT devices using blockchain
Cunha, T. B. D., Kiran, M., Ranjan, R., & Vasilakos, A. V. (2024) · Internet of Things · doi:10.1016/j.iot.2024.101404 · Cited by 10
A Provable Privacy Protection Authentication Protocol for Vehicle-to-Vehicle Communication
Tian, J., Shen, Y., & Wang, Y. (2025) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2025.3562303 · Cited by 9
A Verifiably Secure and Lightweight Device-to-Device (D2D) Authentication Protocol for the Resource-Constrained IoT Networks
Alzahrani, N. (2025) · IEEE Access · doi:10.1109/access.2025.3568692 · Cited by 9
Big Data Analytics-Envisioned Authenticated Key Management Scheme in IoT-Based Smart Farming System for Sustainable Development of Smart Cities
Patwal, A., Wazid, M., Das, A. K., Singh, D. P., Pal, S., & Park, Y. (2025) · IEEE Internet of Things Journal · doi:10.1109/jiot.2025.3621913 · Cited by 9
A Privacy-Preserving Authenticated Key Agreement Scheme Based on Physically Unclonable Functions for Multi-Server Architecture
Lee, T., Chang, I., & Huang, W.-J. (2024) · IEEE Transactions on Services Computing · doi:10.1109/tsc.2024.3404345 · Cited by 9
PRIDA-ME: A Privacy-Preserving, Interoperable and Decentralized Authentication Scheme for Metaverse Environment
Hassan, M., Bangash, Y. A., Iqbal, W., Chehri, A., & Iqbal, J. (2025) · IEEE Open Journal of the Communications Society · doi:10.1109/ojcoms.2024.3523518 · Cited by 9
A Blockchain-Assisted Authentication Protocol for RFID-Enabled Supply Chain Management System
Tariq, T., Obaidat, M. S., Kuo, W., Mahmood, K., Ayub, M. F., & Alenazi, M. J. F. (2025) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2025.3556736 · Cited by 9
Unilaterally-Authenticated Key Exchange
Dodis, Y., & Fiore, D. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-70972-7_31 · Cited by 9
Simulatable Channels: Extended Security that is Universally Composable and Easier to Prove
Degabriele, J. P., & Fischlin, M. (2018) · Lecture notes in computer science · doi:10.1007/978-3-030-03332-3_19 · Cited by 9
Universally Composable Private Proximity Testing
Tonicelli, R., David, B., & Alves, V. D. M. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-24316-5_16 · Cited by 9
Secure and Authenticated Data Access and Sharing Model for Smart Wearable Systems
Amintoosi, H., Nikooghadam, M., Kumari, S., Jun, F., Xiong, H., Kumar, S., & Rodrigues, J. J. P. C. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3109274 · Cited by 9
Key agreement for key hypergraph
Jeong, I. R., & Lee, D. H. (2007) · Computers & Security · doi:10.1016/j.cose.2007.08.001 · Cited by 9
Blockchain-Based Robust Data Security Scheme in IoT-Enabled Smart Home
Vangala, A., Das, A. K., Park, Y., & Jamal, S. S. (2022) · Computers, materials & continua/Computers, materials & continua (Print) · doi:10.32604/cmc.2022.025660 · Cited by 9
WAR: Wireless Anonymous Routing
Blaze, M., Ioannidis, J., Keromytis, A. D., Malkin, T., & Rubin, A. (2005) · Lecture notes in computer science · doi:10.1007/11542322_27 · Cited by 9
Provably-Secure Two-Round Password-Authenticated Group Key Exchange in the Standard Model
Kwon, J. O., Jeong, I. R., & Lee, D. H. (2006) · Lecture notes in computer science · doi:10.1007/11908739_23 · Cited by 9
Universally composable anonymous Hash certification model
Zhang, F., Ma, J., & Moon, S. (2007) · Science in China Series F Information Sciences · doi:10.1007/s11432-007-0029-2 · Cited by 9
Blockchain-Based Secure Authentication Protocol for Fog-Enabled IoT Environments
Kim, T., Kwon, D., Park, Y., & Park, Y. (2025) · Mathematics · doi:10.3390/math13132142 · Cited by 8
Big Data Analytics-Envisioned Quantum-Safe Lattice-Based Three-Party Authenticated Key Agreement Protocol for Cloud IoT-Enabled Healthcare Applications
Bagchi, P., Roy, A., Wazid, M., Das, A. K., Bhargava, B., & Park, Y. (2025) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2025.3605524 · Cited by 8
REACH: Robust Efficient Authentication for Crowdsensing-based Healthcare
Nikooghadam, M., Amintoosi, H., & Shahriari, H. R. (2023) · The Journal of Supercomputing · doi:10.1007/s11227-023-05749-4 · Cited by 8
Optimizing Industrial IoT Data Security Through Blockchain-Enabled Incentive-Driven Game Theoretic Approach for Data Sharing
Sohail, M. N., Anjum, A., Saeed, I. A., Syed, M. H., Jantsch, A., & Rehman, S. (2024) · IEEE Access · doi:10.1109/access.2024.3382571 · Cited by 8
A Provably Secure and Efficient 5G-AKA Authentication Protocol using Blockchain
Yadav, A. K., Braeken, A., Misra, M., & Liyanage, M. (2023) · IEEE Consumer Communications and Networking Conference · doi:10.1109/ccnc51644.2023.10059918 · Cited by 8
Universally composable secure positioning in the bounded retrieval model
Zhang, J., Ma, J., Yang, C., & Yang, L. (2015) · Science China Information Sciences · doi:10.1007/s11432-015-5412-9 · Cited by 8
Computationally Sound Mechanized Proofs for Deniable Authentication Protocols with a Probabilistic Polynomial Calculus in Computational Model
Meng, B., & Shao, F. (2011) · Information Technology Journal · doi:10.3923/itj.2011.611.625 · Cited by 8
Conformal Chebyshev chaotic map-based remote user password authentication protocol using smart card
Meshram, C. Y., Meshram, S. G., Ibrahim, R. W., Jalab, H. A., Jamal, S. S., & Barve, S. K. (2021) · Complex & Intelligent Systems · doi:10.1007/s40747-021-00555-y · Cited by 8
A Constructive Perspective on Key Encapsulation
Coretti, S., Maurer, U. M., & Tackmann, B. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-42001-6_16 · Cited by 8
Weakening the perfect encryption assumption in Dolev–Yao adversaries
Zunino, R., & Degano, P. (2005) · Theoretical Computer Science · doi:10.1016/j.tcs.2005.03.006 · Cited by 8
A Lightweight Authentication Protocol for RFID-Assisted Supply Chain Management System
Tariq, T., Kuo, W., Mahmood, K., Shamshad, S., Das, A. K., & Alenazi, M. J. F. (2024) · IEEE Internet of Things Journal · doi:10.1109/jiot.2024.3523390 · Cited by 7
An ECC-Based Anonymous and Fast Handover Authentication Protocol for Internet of Vehicles
Kong, Y., & Tian, J. (2025) · Applied Sciences · doi:10.3390/app15115894 · Cited by 7
An authenticated key agreement method for secure big data analytics in next-generation wireless networks-enabled smart farming
Patwal, A., Wazid, M., Singh, J., Singh, D. P., & Das, A. K. (2025) · Journal of Systems Architecture · doi:10.1016/j.sysarc.2025.103552 · Cited by 7
Ascon-Based Lightweight and Robust Authentication Scheme for IoT-Enabled Healthcare System
Jang, H.-A., Kwon, D., & Park, Y. (2026) · IEEE Internet of Things Journal · doi:10.1109/jiot.2026.3660968 · Cited by 7
Design of a Secure Machine Learning-Based Malware Detection and Analysis Scheme
Kumar, P., Obaidat, M. S., Pandey, P., Wazid, M., Das, A. K., & Singh, D. P. (2023) · International Conference on Communications, Computing, Cybersecurity, and Informatics (CCCI) · doi:10.1109/ccci58712.2023.10290761 · Cited by 7
A provably secure authenticated key agreement protocol for industrial sensor network system
Thakur, G., Obaidat, M. S., Sharma, P., Prajapat, S., & Kumar, P. (2024) · Concurrency and Computation Practice and Experience · doi:10.1002/cpe.8250 · Cited by 7
Fault-tolerant security-efficiency combined authentication scheme for manned-unmanned teaming
Yang, H., Guo, Y., & Guo, Y. (2024) · Computers & Security · doi:10.1016/j.cose.2024.104052 · Cited by 7
Large-scale secure model learning and inference using synthetic data for IoT-based big data analytics
Tekchandani, P., Das, A. K., & Kumar, N. (2024) · Computers & Electrical Engineering · doi:10.1016/j.compeleceng.2024.109565 · Cited by 7
Blockchain-based entity access control scheme for ubiquitous UAV swarm tasks
Xie, H., He, T., Wei, S., & Hu, C. (2024) · Computing · doi:10.1007/s00607-024-01381-z · Cited by 7
An anonymous and authenticated V2I communication with a simplified user revocation and re-registration strategy
Kumar, P., & Om, H. (2022) · The Journal of Supercomputing · doi:10.1007/s11227-022-04978-3 · Cited by 7
A secure authentication and key agreement scheme with dynamic management for vehicular networks
Zhou, Y., Tan, H., & Iroshan, K. C. A. A. (2023) · Connection Science · doi:10.1080/09540091.2023.2176825 · Cited by 7
A secure signature‐based access control and key management scheme for fog computing‐based IoT‐enabled big data applications
Karnatak, V., Mishra, A. K., Tripathi, N., Wazid, M., Singh, J., & Das, A. K. (2023) · Security and Privacy · doi:10.1002/spy2.353 · Cited by 7
Secure waste collection approach for smart cities
Lama, R., & Karmakar, S. (2024) · International Journal of Information Technology · doi:10.1007/s41870-024-01751-y · Cited by 7
2PBDC: privacy-preserving bigdata collection in cloud environment
Jangirala, S., Das, A. K., & Rodrigues, J. J. P. C. (2018) · The Journal of Supercomputing · doi:10.1007/s11227-018-2605-1 · Cited by 7
A Cryptographic View of Deep-Attestation, or How to Do Provably-Secure Layer-Linking
Arfaoui, G., Fouque, P.-A., Jacques, T., Lafourcade, P., Nedelcu, A., Onete, C., & Robert, L. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-09234-3_20 · Cited by 7
A Universally Composable Framework for the Analysis of Browser-Based Security Protocols
Gajek, S. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-88733-1_20 · Cited by 7
Towards Provable Security for Ubiquitous Applications
Burmester, M. V. D., Le, T. V., & de Medeiros, B. (2006) · Lecture notes in computer science · doi:10.1007/11780656_25 · Cited by 7
Non-interactive conference key distribution and its applications
Safavi–Naini, R., & Jiang, S. (2008) · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · doi:10.1145/1368310.1368349 · Cited by 7
The Key Establishment Problem
Blundo, C., & D’Arco, P. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24631-2_2 · Cited by 7
Digital Twins-Empowered Secure Network Slice Access and Isolation for Consumer Healthcare Applications
Bera, B., Das, A. K., & Sikdar, B. (2024) · IEEE Transactions on Services Computing · doi:10.1109/tsc.2024.3422792 · Cited by 6
A Secure Authentication Scheme with Local Differential Privacy in Edge Intelligence-Enabled VANET
Kwon, D., Son, S., Park, K., & Park, Y. (2024) · Mathematics · doi:10.3390/math12152383 · Cited by 6
A robust ECC based authentication protocol for satellite-to-satellite communication network
Gautam, D., Kanwar, S., Prajapat, S., Kumar, P., & Chen, C.-M. (2024) · Telecommunication Systems · doi:10.1007/s11235-024-01199-2 · Cited by 6
SLAKA-IoD: A Secure and Lightweight Authentication and Key Agreement Protocol for Internet of Drones
Xiao, Y., & Tao, Y. (2024) · Drones · doi:10.3390/drones8080374 · Cited by 6
ER-CGKA: Efficient and robust continuous group key agreement scheme with post-compromise forward security for IoV
Xu, G., Yin, X., & Li, X. (2024) · PLoS ONE · doi:10.1371/journal.pone.0307867 · Cited by 6
Blockchain-Assisted Cross-Platform Authentication Protocol With Conditional Traceability for Metaverse Environment in Web 3.0
Thakur, G., Gautam, D., Kumar, P., Das, A. K., Vivekananda Bhat, K., & Rodrigues, J. J. P. C. (2024) · IEEE Open Journal of the Communications Society · doi:10.1109/ojcoms.2024.3494548 · Cited by 6
REHAS : Robust and Efficient Hyperelliptic Curve‐Based Authentication Scheme for Internet of Drones
Pratap, B., Singh, A., & Mehra, P. S. (2024) · Concurrency and Computation Practice and Experience · doi:10.1002/cpe.8333 · Cited by 6
Cloud-Assisted Security Framework for Drone-Enabled Offshore Communications
Vangala, A., Maheshwari, R., Das, A. K., & Pal, S. (2023) · IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) · doi:10.1109/infocomwkshps57453.2023.10225952 · Cited by 6
Chaotic map based multi-factor authentication protocol for underwater environment monitoring
Rangwani, D., & Om, H. (2023) · Multimedia Tools and Applications · doi:10.1007/s11042-023-16608-y · Cited by 6
ttPAKE: Typo tolerance password-authenticated key exchange
Han, Y., Xu, C., Li, S., Jiang, C., & Chen, K. (2023) · Journal of Information Security and Applications · doi:10.1016/j.jisa.2023.103658 · Cited by 6
Dickson polynomial-based secure group authentication scheme for Internet of Things
Syed, S. A., Manickam, S., Uddin, M., Alsufyani, H., Shorfuzzaman, M., Selvarajan, S., & Mohammed, G. B. (2024) · Scientific Reports · doi:10.1038/s41598-024-55044-2 · Cited by 6
Securing Synchrophasors Using Data Provenance in the Quantum Era
Javed, K., Khan, M. A., Ullah, M., Aman, M. N., & Sikdar, B. (2024) · IEEE Open Journal of the Communications Society · doi:10.1109/ojcoms.2024.3372524 · Cited by 6
Complementing Computational Protocol Analysis with Formal Specifications
Choo, K. R., Boyd, C., Hitchcock, Y., & Maitland, G. (2005) · Springer eBooks · doi:10.1007/0-387-24098-5_10 · Cited by 6
Effective Attacks in the Tor Authentication Protocol
Zhang, Y. A. (2009) · International Conference on Network and System Security (NSS) · doi:10.1109/nss.2009.94 · Cited by 6
Formal security analysis of lightweight authenticated key agreement protocol for IoT in cloud computing
Aly, A. H., Ghalwash, A. Z., Nasr, M. M., & Hafez, A. (2021) · Indonesian Journal of Electrical Engineering and Computer Science · doi:10.11591/ijeecs.v24.i1.pp621-636 · Cited by 6
A Robust Four-Factor Authentication Protocol for Resource Mining
Rangwani, D., & Om, H. (2022) · Arabian Journal for Science and Engineering · doi:10.1007/s13369-022-07055-2 · Cited by 6
4F-MAKA: Four-factor mutual authentication and key agreement protocol for internet of things
Rangwani, D., & Om, H. (2022) · Peer-to-Peer Networking and Applications · doi:10.1007/s12083-022-01382-9 · Cited by 6
Constructing UC Secure and Constant-Round Group Key Exchange Protocols via Secret Sharing
Cao, C., Yang, C. J., Ma, J., & Moon, S. (2008) · EURASIP Journal on Wireless Communications and Networking · doi:10.1155/2008/271989 · Cited by 6
On Composability of Game-Based Password Authenticated Key Exchange
Škrobot, M., & Lancrenon, J. (2018) · IEEE European Symposium on Security and Privacy · doi:10.1109/eurosp.2018.00038 · Cited by 6
A cloud-assisted anonymous and privacy-preserving authentication scheme for internet of medical things
Guo, P., Xu, S., & Liang, W. (2025) · Computers & Security · doi:10.1016/j.cose.2025.104614 · Cited by 5
Continuous Authentication in IoT-Based Smart Home Application: A Survey and a Design Framework Using Vector Similarity Search
Bera, B., Nandi, S., & Sikdar, B. (2025) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2025.3643954 · Cited by 5
Q-BlockAuth: blockchain-enabled quantum authentication scheme for secure communication in sixth-generation internet of nano medical things networks
Kumar, N., Prajapat, S., Kumar, P., & Ali, R. (2026) · Cluster Computing · doi:10.1007/s10586-025-05866-0 · Cited by 5
Dynamic Privacy-Preserving Anonymous Authentication Scheme for Condition-Matching in Fog-Cloud-Based VANETs
Zhan, Y., Xie, W., Shi, R., Huang, Y., & Zheng, X. (2024) · Sensors · doi:10.3390/s24061773 · Cited by 5
LATKE: A Framework for Constructing Identity-Binding PAKEs
Katz, J. I., & Rosenberg, M. (2024) · Lecture notes in computer science · doi:10.1007/978-3-031-68379-4_7 · Cited by 5
A Secure Authenticated Healthcare Data Analysis Mechanism in IoMT‐Enabled Healthcare
Wazid, M., Nautiyal, S., Das, A. K., Shetty, S. S., & Islam, S. H. (2024) · Security and Privacy · doi:10.1002/spy2.468 · Cited by 5
Secure Cloud-Storage-Based Big Data Analytics Scheme for Intelligent Vehicles Environment
Agrawal, S., Tekchandani, P., Banerjee, S., Das, A. K., Pal, S., & Shetty, S. S. (2024) · IEEE Internet of Things Journal · doi:10.1109/jiot.2024.3524089 · Cited by 5
G2CAIUN: A novel Genus-2 curve-based authentication for secure data transmission in IoT-based UAV networks
Sharma, J., & Mehra, P. S. (2025) · Physical Communication · doi:10.1016/j.phycom.2025.102647 · Cited by 5
Cloud storage-based secure big data analytics mechanism for drone-assisted healthcare 5.0 data fusion system
Wazid, M., Singh, J., Das, A. K., Garg, S., Susilo, W., & Hassan, M. M. (2025) · Information Fusion · doi:10.1016/j.inffus.2025.103085 · Cited by 5

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