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
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
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?
The composable extractor was first introduced in classical cryptography and later extended to quantum cryptography.
“The composable extractor was fi rst introduced in classical cryptography, 93,94 and it was later extended to quantum cryptography. 95,96”
From Quantum random number generation (2016) · cites this paper as [94]
Citations
Cites
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-citationThe 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
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-citationSecurity and Composition of Multiparty Cryptographic Protocols
Canetti, R. (2000) · Journal of Cryptology · doi:10.1007/s001459910006 · Cited by 1,397
Self-citationAuthentication and authenticated key exchanges
Diffie, W., van Oorschot, P. C., & Wiener, M. J. (1992) · Designs Codes and Cryptography · doi:10.1007/bf00124891 · Cited by 1,147
Foundations of Cryptography: Basic Tools
Goldreich, O. (2000) · Cambridge University Press eBooks · Cited by 1,019
Key agreement protocols and their security analysis
Blake-Wilson⋆⋆, S., Johnson, D. B., & Menezes, A. (1997) · Lecture notes in computer science · doi:10.1007/bfb0024447 · Cited by 595
Provably secure session key distribution
Mihir Bellare, Y., & Rogaway, P. (1995) · ACM Symposium on Theory of Computing (STOC) · doi:10.1145/225058.225084 · Cited by 593
Witness indistinguishable and witness hiding protocols
Feige, U., & Adi Shamir, Z. (1990) · ACM Symposium on Theory of Computing (STOC) · doi:10.1145/100216.100272 · Cited by 523
Advances in Cryptology — CRYPTO’ 88
(1990) · Lecture notes in computer science · doi:10.1007/0-387-34799-2 · Cited by 415
A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols.
Bellare, M., Canetti, R., & Krawczyk, H. (1998) · Cited by 381
Self-citationMihir Bellare, Y., Canetti, R., & Krawczyk, H. (1998) · ACM Symposium on Theory of Computing (STOC) · doi:10.1145/276698.276854 · Cited by 357
Self-citationFair Computation of General Functions in Presence of Immoral Majority
Goldwasser, S., & Levin, L. A. (2007) · Springer eBooks · doi:10.1007/3-540-38424-3_6 · Cited by 345
On Formal Models for Secure Key Exchange.
Shoup, V. (1999) · Cited by 322
Universal Composition with Joint State
Canetti, R., & Rabin, T. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45146-4_16 · Cited by 257
Self-citationSecure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority
Beaver, D. (1991) · Journal of Cryptology · doi:10.1007/bf00196771 · Cited by 226
Systematic Design of Two-Party Authentication Protocols
Bird, R., Gopal, I. S., Herzberg, A., Janson, P., Kutten, S., Molva, R. A., & Yung, M. M. (2007) · Springer eBooks · doi:10.1007/3-540-46766-1_3 · Cited by 148
Systematic design of a family of attack-resistant authentication protocols
Bird, R., Gopal, I., Herzberg, A., Janson, P. A., Kutten, S., Molva, R. A., & Yung, M. M. (1993) · IEEE Journal on Selected Areas in Communications · doi:10.1109/49.223869 · Cited by 141
Universally Composable Notions of Key Exchange and Secure Channels (Extended Abstract)
Canetti, R., & Krawczyk, H. (2002) · Cited by 19
Self-citationProvably Secure Certified Mail
Pfitzmann, B., Schunter, M., & Waidner, M. (2000) · Cited by 14
Flagged first, then by citations
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.
Cited by
Sorted by citations
HMQV: A High-Performance Secure Diffie-Hellman Protocol
Krawczyk, H. (2005) · Lecture notes in computer science · doi:10.1007/11535218_33 · Cited by 757
Self-citationQuantum random number generation
Ma, X., Yuan, X., Cao, Z., Qi, B., & Zhang, Z. (2016) · npj Quantum Information · doi:10.1038/npjqi.2016.21 · Cited by 445
Scalable Protocols for Authenticated Group Key Exchange
Katz, J. I., & Yung, M. M. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45146-4_7 · Cited by 395
Lattice Cryptography for the Internet
Peikert, C. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-11659-4_12 · Cited by 361
Bellare, M., & Palacio, A. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45708-9_11 · Cited by 313
Jangirala, S., Das, A. K., Kumar, N., & Rodrigues, J. J. P. C. (2019) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2019.2911672 · Cited by 310
Universally Composable Password-Based Key Exchange
Canetti, R., Halevi, S., Katz, J. I., Lindell, Y., & MacKenzie, P. (2005) · Lecture notes in computer science · doi:10.1007/11426639_24 · Cited by 285
Self-citationCloud Centric Authentication for Wearable Healthcare Monitoring System
Jangirala, S., Das, A. K., Kumar, N., & Rodrigues, J. J. P. C. (2018) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2018.2828306 · Cited by 283
Lightweight and Anonymity-Preserving User Authentication Scheme for IoT-Based Healthcare
Masud, M., Gaba, G. S., Choudhary, K., Hossain, M. S., Alhamid, M. F., & Muhammad, G. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3080461 · Cited by 268
Smart Secure Sensing for IoT-Based Agriculture: Blockchain Perspective
Vangala, A., Das, A. K., Kumar, N., & Alazab, M. (2020) · IEEE Sensors Journal · doi:10.1109/jsen.2020.3012294 · Cited by 268
Universal Composition with Joint State
Canetti, R., & Rabin, T. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-45146-4_16 · Cited by 257
Self-citationPrivacy-Enhanced Data Aggregation Scheme Against Internal Attackers in Smart Grid
Fan, C., Huang, S., & Lai, Y.-L. (2014) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2013.2277938 · Cited by 256
Designing secure blockchain-based access control scheme in IoT-enabled Internet of Drones deployment
Bera, B., Chattaraj, D., & Das, A. K. (2020) · Computer Communications · doi:10.1016/j.comcom.2020.02.011 · Cited by 252
Wazid, M., Bagga, P., Das, A. K., Shetty, S. S., Rodrigues, J. J. P. C., & Park, Y. (2019) · IEEE Internet of Things Journal · doi:10.1109/jiot.2019.2923611 · Cited by 251
Designing Blockchain-Based Access Control Protocol in IoT-Enabled Smart-Grid System
Bera, B., Saha, S., Das, A. K., & Vasilakos, A. V. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.3030308 · Cited by 248
Internet of Drones Security and Privacy Issues: Taxonomy and Open Challenges
Yahuza, M., Idris, M. Y. I., Ahmedy, I., Wahab, A. W. A., Nandy, T., Noor, N. M., & Bala, A. (2021) · IEEE Access · doi:10.1109/access.2021.3072030 · Cited by 238
Jangirala, S., Das, A. K., & Vasilakos, A. V. (2019) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2019.2942389 · Cited by 234
Design of secure key management and user authentication scheme for fog computing services
Wazid, M., Das, A. K., Kumar, N., & Vasilakos, A. V. (2018) · Future Generation Computer Systems · doi:10.1016/j.future.2018.09.017 · Cited by 230
On the Security of the TLS Protocol: A Systematic Analysis
Krawczyk, H., Paterson, K. G., & Wee, H. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-40041-4_24 · Cited by 220
Self-citationJangirala, S., Das, A. K., Wazid, M., & Kumar, N. (2018) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2018.2857811 · Cited by 216
Bera, B., Saha, S., Das, A. K., Kumar, N., Lorenz, P., & Alazab, M. (2020) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2020.3000576 · Cited by 216
Garg, N., Wazid, M., Das, A. K., Singh, D. P., Rodrigues, J. J. P. C., & Park, Y. (2020) · IEEE Access · doi:10.1109/access.2020.2995917 · Cited by 214
Kumar, R., Kumar, P., Tripathi, R., Gupta, G. P., Islam, A. K. M. N., & Shorfuzzaman, M. (2022) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2022.3161631 · Cited by 214
OPAQUE: An Asymmetric PAKE Protocol Secure Against Pre-computation Attacks
Jarecki, S., Krawczyk, H., & Xu, J. (2018) · Lecture notes in computer science · doi:10.1007/978-3-319-78372-7_15 · Cited by 209
Self-citationDesign of Secure and Lightweight Authentication Protocol for Wearable Devices Environment
Das, A. K., Wazid, M., Kumar, N., Khan, M. K., Choo, K. R., & Park, Y. (2017) · IEEE Journal of Biomedical and Health Informatics · doi:10.1109/jbhi.2017.2753464 · Cited by 206
Provably Secure ECC-Based Device Access Control and Key Agreement Protocol for IoT Environment
Das, A. K., Wazid, M., Yannam, A. R., Rodrigues, J. J. P. C., & Park, Y. (2019) · IEEE Access · doi:10.1109/access.2019.2912998 · Cited by 195
Smart Contract-Based Blockchain-Envisioned Authentication Scheme for Smart Farming
Vangala, A., Sutrala, A. K., Das, A. K., & Jo, M. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2021.3050676 · Cited by 190
Modeling insider attacks on group key-exchange protocols
Katz, J. I., & Shin, J. S. (2005) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/1102120.1102146 · Cited by 181
Taxonomy and analysis of security protocols for Internet of Things
Das, A. K., Zeadally, S., & He, D. (2018) · Future Generation Computer Systems · doi:10.1016/j.future.2018.06.027 · Cited by 184
Secure Message Communication Protocol Among Vehicles in Smart City
Dua, A., Kumar, N., Das, A. K., & Susilo, W. (2018) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2017.2780183 · Cited by 180
A Privacy-Preserving and Scalable Authentication Protocol for the Internet of Vehicles
Aman, M. N., Javaid, U., & Sikdar, B. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.3010893 · Cited by 178
Implementing TLS with Verified Cryptographic Security
Bhargavan, K., Fournet, C., Kohlweiss, M., Pironti, A., & Strub, P.-Y. (2013) · IEEE Symposium on Security and Privacy (S&P) · doi:10.1109/sp.2013.37 · Cited by 177
Design of Secure Mutual Authentication Scheme for Metaverse Environments Using Blockchain
Ryu, J., Son, S., Lee, J., Park, Y., & Park, Y. (2022) · IEEE Access · doi:10.1109/access.2022.3206457 · Cited by 177
Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
Choo, K. R., Boyd, C., & Hitchcock, Y. (2005) · Lecture notes in computer science · doi:10.1007/11593447_32 · Cited by 171
Authentication in cloud-driven IoT-based big data environment: Survey and outlook
Wazid, M., Das, A. K., Hussain, R., Succi, G., & Rodrigues, J. J. P. C. (2018) · Journal of Systems Architecture · doi:10.1016/j.sysarc.2018.12.005 · Cited by 170
Authentication protocols in internet of vehicles: Taxonomy, analysis, and challenges
Bagga, P., Das, A. K., Wazid, M., Rodrigues, J. J. P. C., & Park, Y. (2020) · IEEE Access · doi:10.1109/access.2020.2981397 · Cited by 168
Universally Composable Synchronous Computation
Katz, J. I., Maurer, U. M., Tackmann, B., & Zikas, V. (2013) · Lecture notes in computer science · doi:10.1007/978-3-642-36594-2_27 · Cited by 166
On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions
Canetti, R., Kushilevitz, E., & Lindell, Y. (2003) · Lecture notes in computer science · doi:10.1007/3-540-39200-9_5 · Cited by 162
Self-citationA Formal Treatment of Onion Routing
Camenisch, J. L., & Lysyanskaya, A. (2005) · Lecture notes in computer science · doi:10.1007/11535218_11 · Cited by 160
Constructive Cryptography – A New Paradigm for Security Definitions and Proofs
Maurer, U. M. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-27375-9_3 · Cited by 155
Secure Three-Factor User Authentication Scheme for Renewable-Energy-Based Smart Grid Environment
Wazid, M., Das, A. K., Kumar, N., & Rodrigues, J. J. P. C. (2017) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2017.2732999 · Cited by 153
Yu, S., Das, A. K., Park, Y., & Lorenz, P. (2022) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2022.3188769 · Cited by 153
Universally composable and forward-secure RFID authentication and authenticated key exchange
Le, T. V., Burmester, M. V. D., & de Medeiros, B. (2007) · ACM Asia Conference on Computer and Communications Security (ASIA CCS) · doi:10.1145/1229285.1229319 · Cited by 147
Prabhakaran, M., & Sahai, A. (2004) · ACM Symposium on Theory of Computing (STOC) · doi:10.1145/1007352.1007394 · Cited by 147
Bera, B., Das, A. K., & Sutrala, A. K. (2020) · Computer Communications · doi:10.1016/j.comcom.2020.12.005 · Cited by 141
Nikooghadam, M., Amintoosi, H., Islam, S. H., & Moghadam, M. F. (2021) · Journal of Systems Architecture · doi:10.1016/j.sysarc.2020.101955 · Cited by 140
Banerjee, S., Odelu, V., Das, A. K., Jangirala, S., Kumar, N., Chattopadhyay, S., & Choo, K. R. (2019) · IEEE Internet of Things Journal · doi:10.1109/jiot.2019.2923373 · Cited by 140
Jangirala, S., Das, A. K., Wazid, M., & Vasilakos, A. V. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.3040938 · Cited by 138
A Full Proof of the BGW Protocol for Perfectly Secure Multiparty Computation
Asharov, G., & Lindell, Y. (2015) · Journal of Cryptology · doi:10.1007/s00145-015-9214-4 · Cited by 133
Scalable Protocols for Authenticated Group Key Exchange
Katz, J. I., & Yung, M. M. (2006) · Journal of Cryptology · doi:10.1007/s00145-006-0361-5 · Cited by 132
Vangala, A., Das, A. K., Mitra, A., Das, S. K., & Park, Y. (2022) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2022.3231121 · Cited by 131
Khan, M. A., Ullah, I., Alkhalifah, A., Rehman, S. U., Shah, J. A., Uddin, M. I., Alsharif, M. H., & Algarni, F. (2021) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2021.3101651 · Cited by 130
Security Analysis of IKE’s Signature-Based Key-Exchange Protocol
Canetti, R., & Krawczyk, H. (2002) · Lecture notes in computer science · doi:10.1007/3-540-45708-9_10 · Cited by 130
Self-citationDeniable authentication and key exchange
Raimondo, M. D., Gennaro, R., & Krawczyk, H. (2006) · ACM SIGSAC Conference on Computer and Communications Security (CCS) · doi:10.1145/1180405.1180454 · Cited by 130
Self-citationCertificateless-Signcryption-Based Three-Factor User Access Control Scheme for IoT Environment
Mandal, S., Bera, B., Sutrala, A. K., Das, A. K., Choo, K. R., & Park, Y. (2020) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.2966242 · Cited by 129
Aiello, W. A., Bellovin, S. M., Blaze, M., Canetti, R., Ioannidis, J., Keromytis, A. D., & Reingold, O. (2004) · ACM Transactions on Information and System Security · doi:10.1145/996943.996946 · Cited by 128
Self-citationCryptographic technologies and protocol standards for Internet of Things
Zeadally, S., Das, A. K., & Sklavos, N. (2019) · Internet of Things · doi:10.1016/j.iot.2019.100075 · Cited by 127
Modular Security Proofs for Key Agreement Protocols
Kudla, C., & Paterson, K. G. (2005) · Lecture notes in computer science · doi:10.1007/11593447_30 · Cited by 126
Vangala, A., Bera, B., Saha, S., Das, A. K., Kumar, N., & Park, Y. (2020) · IEEE Sensors Journal · doi:10.1109/jsen.2020.3009382 · Cited by 125
Sutrala, A. K., Obaidat, M. S., Saha, S., Das, A. K., Alazab, M., & Park, Y. (2021) · IEEE Transactions on Intelligent Transportation Systems · doi:10.1109/tits.2021.3056704 · Cited by 123
Secret Handshakes from CA-Oblivious Encryption
Castelluccia, C., Jarecki, S., & Tsudik, G. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-30539-2_21 · Cited by 121
Physically Uncloneable Functions in the Universal Composition Framework
Brzuska, C., Fischlin, M., Schröder, H., & Katzenbeisser, S. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22792-9_4 · Cited by 119
Jangirala, S., Das, A. K., Li, X., Khan, M. K., & Jo, M. (2020) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2020.3011849 · Cited by 118
Kumar, P., Kumar, R., Kumar, A., Franklin, A. A., Garg, S., & Singh, S. (2023) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2022.3191601 · Cited by 117
RetractedSecurity in IoT-enabled smart agriculture: architecture, security solutions and challenges
Vangala, A., Das, A. K., Chamola, V., Korotaev, V. V., & Rodrigues, J. J. P. C. (2022) · Cluster Computing · doi:10.1007/s10586-022-03566-7 · Cited by 116
Secure ECC-Based Three-Factor Mutual Authentication Protocol for Telecare Medical Information System
Ryu, J., Oh, J., Kwon, D., Son, S., Lee, J., Park, Y., & Park, Y. (2022) · IEEE Access · doi:10.1109/access.2022.3145959 · Cited by 115
Bera, B., Vangala, A., Das, A. K., Lorenz, P., & Khan, M. K. (2021) · Computer Standards & Interfaces · doi:10.1016/j.csi.2021.103567 · Cited by 113
Wei, L., Cui, J., Zhong, H., Bolodurina, I. P., & Liu, L. (2021) · IEEE Transactions on Dependable and Secure Computing · doi:10.1109/tdsc.2021.3135016 · Cited by 113
SMAKA: Secure Many-to-Many Authentication and Key Agreement Scheme for Vehicular Networks
Zhang, J., Zhong, H., Cui, J., Xu, Y., & Liu, L. (2020) · IEEE Transactions on Information Forensics and Security · doi:10.1109/tifs.2020.3044855 · Cited by 112
Chattaraj, D., Bera, B., Das, A. K., Saha, S., Lorenz, P., & Park, Y. (2021) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2021.3091163 · Cited by 110
Secure Multi-Party Computation without Agreement
Goldwasser, S., & Lindell, Y. (2005) · Journal of Cryptology · doi:10.1007/s00145-005-0319-z · Cited by 109
Wazid, M., Das, A. K., Shetty, S. S., Gope, P., & Rodrigues, J. J. P. C. (2020) · IEEE Access · doi:10.1109/access.2020.3047895 · Cited by 108
Certificate-Based Anonymous Device Access Control Scheme for IoT Environment
Malani, S., Jangirala, S., Das, A. K., Srinathan, K., & Jo, M. (2019) · IEEE Internet of Things Journal · doi:10.1109/jiot.2019.2931372 · Cited by 107
Tripartite Authenticated Key Agreement Protocols from Pairings
Al-Riyami, S. S., & Paterson, K. G. (2003) · Lecture notes in computer science · doi:10.1007/978-3-540-40974-8_27 · Cited by 107
Access Control Protocol for Battlefield Surveillance in Drone-Assisted IoT Environment
Bera, B., Das, A. K., Garg, S., Piran, M. J., & Hossain, M. S. (2021) · IEEE Internet of Things Journal · doi:10.1109/jiot.2020.3049003 · Cited by 105
A Secure and Lightweight Authentication Protocol for IoT-Based Smart Homes
Oh, J., Yu, S., Lee, J., Son, S., Kim, M., & Park, Y. (2021) · Sensors · doi:10.3390/s21041488 · Cited by 105
Secure Computation without Agreement
Goldwasser, S., & Lindell, Y. (2002) · Lecture notes in computer science · doi:10.1007/3-540-36108-1_2 · Cited by 105
One-Round Protocols for Two-Party Authenticated Key Exchange
Jeong, I. R., Katz, J. I., & Lee, D. H. (2004) · Lecture notes in computer science · doi:10.1007/978-3-540-24852-1_16 · Cited by 105
Provably Secure Ubiquitous Systems: Universally Composable RFID Authentication Protocols
Burmester, M. V. D., Le, T. V., & de Medeiros, B. (2006) · International Conference on Security and Privacy in Communication Networks (SecureComm) · doi:10.1109/seccomw.2006.359563 · Cited by 104
Multi-factor Authenticated Key Exchange
Pointcheval, D., & Zimmer, S. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-68914-0_17 · Cited by 103
The reactive simulatability (RSIM) framework for asynchronous systems
Michael Backes, A., Pfitzmann, B., & Waidner, M. (2007) · Information and Computation · doi:10.1016/j.ic.2007.05.002 · Cited by 103
Provably Secure Constant Round Contributory Group Key Agreement in Dynamic Setting
Dutta, R., & Barua, R. (2008) · IEEE Transactions on Information Theory · doi:10.1109/tit.2008.920224 · Cited by 103
Banerjee, S., Odelu, V., Das, A. K., Chattopadhyay, S., Rodrigues, J. J. P. C., & Park, Y. (2019) · IEEE Access · doi:10.1109/access.2019.2926578 · Cited by 102
Symmetric encryption in automatic analyses for con .dentiality against active adversaries
Laud, P. (2004) · IEEE Symposium on Security and Privacy (S&P) · doi:10.1109/secpri.2004.1301316 · Cited by 101
Sadhukhan, D., Ray, S., Obaidat, M. S., & Dasgupta, M. (2020) · Journal of Systems Architecture · doi:10.1016/j.sysarc.2020.101938 · Cited by 100
Umar, M., Islam, S. H., Mahmood, K., Ahmed, S., Ghaffar, Z., & Saleem, M. A. (2021) · IEEE Transactions on Vehicular Technology · doi:10.1109/tvt.2021.3118892 · Cited by 100
Tightly-Secure Authenticated Key Exchange
Bader, C., Hofheinz, D., Jager, T., Kiltz, E., & Li, Y. (2015) · Lecture notes in computer science · doi:10.1007/978-3-662-46494-6_26 · Cited by 100
Smooth Projective Hashing for Conditionally Extractable Commitments
Abdalla, M. F., Chevalier, C., & Pointcheval, D. (2009) · Lecture notes in computer science · doi:10.1007/978-3-642-03356-8_39 · Cited by 94
IoV-SMAP: Secure and Efficient Message Authentication Protocol for IoV in Smart City Environment
Yu, S., Lee, J., Park, K., Das, A. K., & Park, Y. (2020) · IEEE Access · doi:10.1109/access.2020.3022778 · Cited by 94
Menezes, A. (2007) · Journal of Mathematical Cryptology · doi:10.1515/jmc.2007.004 · Cited by 94
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
Mitchell, J. C., Ramanathan, A., Scedrov, A., & Teague, V. (2005) · Theoretical Computer Science · doi:10.1016/j.tcs.2005.10.044 · Cited by 94
A Modular Security Analysis of the TLS Handshake Protocol
Morrissey, P., Smart, N. P., & Warinschi, B. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-89255-7_5 · Cited by 93
Wei, L., Cui, J., Zhong, H., Xu, Y., & Liu, L. (2021) · IEEE Transactions on Mobile Computing · doi:10.1109/tmc.2021.3056712 · Cited by 90
Universally Composable Security Analysis of TLS
Gajek, S., Manulis, M., Pereira, O., Sadeghi, A., & Schwenk, J. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-88733-1_22 · Cited by 89
Authentication protocols for the internet of drones: taxonomy, analysis and future directions
Wazid, M., Das, A. K., & Lee, J.-H. (2018) · Journal of Ambient Intelligence and Humanized Computing · doi:10.1007/s12652-018-1006-x · Cited by 89
Secure and Efficient Honey List-Based Authentication Protocol for Vehicular Ad Hoc Networks
Lee, J., Kim, G.-H., Das, A. K., & Park, Y. (2021) · IEEE Transactions on Network Science and Engineering · doi:10.1109/tnse.2021.3093435 · Cited by 89
Efficient and secure authenticated key exchange using weak passwords
Katz, J. I., Ostrovsky, R., & Yung, M. M. (2009) · Journal of the ACM · doi:10.1145/1613676.1613679 · Cited by 88
Provably secure authenticated group Diffie-Hellman key exchange
Bresson, E., Chevassut, O., & Pointcheval, D. (2007) · ACM Transactions on Information and System Security · doi:10.1145/1266977.1266979 · Cited by 87
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Küsters, R. (2006) · IEEE Computer Security Foundations Workshop (CSFW) · doi:10.1109/csfw.2006.30 · Cited by 85
Information-theoretically secure protocols and security under composition
Kushilevitz, E., Lindell, Y., & Rabin, T. (2006) · ACM Symposium on Theory of Computing (STOC) · doi:10.1145/1132516.1132532 · Cited by 84
Metadata
- Authors
- Canetti, R., & Krawczyk, H.
- Affiliations
- IBM Research - Thomas J. Watson Research Center (US)
- Technion – Israel Institute of Technology (IL)
- Venue
- Lecture Notes in Computer Science
- Publisher
- Springer Berlin Heidelberg
- Published
- 2002
- Pages
- 337-351
- ISSN
- 0302-9743 (ISSN-L)
- 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
