Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract). In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing (STOC'98), pages 419--428. ACM Press, 1998. 15 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Security Requirements And (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract). In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing (STOC'98), pages 419--428. ACM Press, 1998. 15
Modelling Adversaries and Security Objectives for Routing.. - Gergely Acs Levente (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the ACM Symposium on the Theory of Computing, 1998.
On the Resilience of Key Agreement Protocols - To Key Compromise (2006) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In 30th Symposium on Theory of Computing, pages 419--428, 1998.
Formal Analysis and Systematic Construction of - Two-Factor Authentication Scheme (2006) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM Symp. on Theory of Computing, pages 419--428. ACM, May 1998.
Efficient and Secure Indirect-Address Service Discovery .. - Ge, Di Crescenzo.. (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk, "A modular approach to the design and analysis of authentication and key exchange protocols," In Proc. of 30th Symp. on the Theory of Computing, ACM, 1998.
Secure Group Key Establishment Revisited - Bohli, Vasco, Steinwandt (2005) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of STOC 98, pages 419--428. ACM, 1998.
Stronger Security of Authenticated Key Exchange - LaMacchia, Lauter, Mityagin (2006) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk, A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols, STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, ACM Press, 1998
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, New York, NY, USA, 1998. ACM Press.
Key Exchange Using Passwords and Long Keys - Vladimir Kolesnikov And (2006) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, New York, NY, USA, 1998. ACM Press.
Towards Provably Secure Group Key Agreement Building on.. - Bohli, Glas, Steinwandt (2006) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of the 30th Annual ACM Symposium on Theory of Computing STOC, pages 319-- 428, 1998.
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
No context found.
Bellare, M., Canetti, R., Krawczyk, H.: A modular approach to the design and analysis of authenticationand key exchange protocols. In: Proc. of the 30th Annual Symposium on the Theory of Computing, ACM (1998) 419--428
Overview of Key Agreement Protocols - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In proceedings of the 30th Annual Symposium on the Theory of Computing, pp. 419-428. ACM Press, 1998. Also available at http://www.cs.edu/users/mihir/papers/key-distribution.html/.
A Suite of Enhanced Security Models for Key Compromise.. - Zhu, Tian, Wong (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM Symp. on Theory of Computing, pages 419--428. ACM, May 1998. Full paper available at the first author's homepage.
Efficient Compilers for Authenticated Group Key Exchange - Tang, Mitchell (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the thirtieth annual ACM Symposium on the Theory of Computing, pages 419 -- 428. ACM, 1998.
Examining Indistinguishability-Based Proof Models for Key.. - Choo, Boyd, Hitchcock (2005) (1 citation) (Correct)
No context found.
Bellare, M., Canetti, R. & Krawczyk, H. (1998), A Modular Approach to The Design and Analysis of Authentication and Key Exchange Protocols, in J. Vitter, ed., `30th ACM Symposium on the Theory of Computing - STOC 1998', ACM Press, pp. 419--428.
Towards Computationally Sound Symbolic Analysis of Key.. - Gupta, Shmatikov (2005) (2 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th ACM STOC, pages 419--428, 1998.
Intrusion-Resilient Secure Channels - Itkis, McNerney Jr., Russell (2005) (1 citation) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In ACM, editor, Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, Dallas, Texas, 23--26 May 1998.
Modeling Insider Attacks on Group Key-Exchange Protocols - Katz, Shin (2005) (4 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. STOC '98.
On the Indistinguishability-Based Security Model of.. - Cheng, Nistazakis.. (2005) (1 citation) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proc. of the 30th STOC. ACM Press, New York, 1998.
Dynamic Group Key Agreement in Tree-Based Setting - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of the 30th Annual Symposium on the Theory of Computing, pages 419-428. ACM, 1998. http://www.cs.edu/users/mihir/papers/keydistribution. html/.
Session-Key Generation Using Human Passwords Only - Goldreich, Lindell (2005) (24 citations) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In the 30th ACM Symposium on the Theory of Computing, pages 419--428, 1998.
On Formal Models for Secure Key Exchange (version 4) - Shoup (1999) (1 citation) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In 30th Annual ACM Symposium on Theory of Computing, 1998.
On Session Key Construction in Provably-Secure Key Establishment.. - Choo (2005) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A Modular Approach to The Design and Analysis of Authentication and Key Exchange Protocols. In Je#rey Vitter, editor, 30th ACM Symposium on the Theory of Computing - STOC 1998, pages 419--428. ACM Press, 1998.
Constant Round Dynamic Group Key Agreement - Dutta, Barua (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of the 30th Annual Symposium on the Theory of Computing, pages 419-428. ACM, 1998. http://www.cs.edu/users/mihir/papers/keydistribution. html/.
On the Security of Some Password-Based Key Agreement Schemes - Tang, Mitchell (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, pages 419--428, 1998.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th Annual ACM Symposium on Theory of Computing (STOC), pages 419--428, 1998.
Security Analysis and Implementation of Password-based Cryptosystem - Bakuri (2005) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczky. A modular approach to the design and analysis of authentication and key exchange protocols. Proc. of the 30th STOC, pages 419--428, 1998.
Formal Model of Basic Concepts - Adelsbach, (eds.) (1999) (Correct)
No context found.
M. Bellare, R. Canetti, H. Krawczyk, A modular approach to the design and analysis of authentication and key exchange protocols, 13th Symp. on Theory of Computing (STOC), ACM, 1998, 419--428
Minimalist Cryptography for Low-Cost RFID Tags - Juels (2003) (3 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In STOC '98, pages 419--428, 1998.
Cryptographic Semantics for the Algebraic Models - Adelsbach, (eds.) (1999) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk, A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols, 13th Symp. on Theory of Computing (STOC), ACM, 1998, 419--428 5, 75 80
Password Based Key Exchange with Mutual Authentication - Jiang, Gong (2004) (2 citations) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk, A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols, STOC 98: 419-428.
Mutual Authentication for Low-Power Mobile Devices - Jakobsson, Pointcheval (10 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proc. of the 30th STOC. ACM Press, New York, 1998.
Key Agreement using Statically Keyed Authenticators - Boyd, Mao, Paterson (2004) (4 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the thirtieth annual ACM symposium on theory of computing, pages 419--428. ACM Press, 1998.
Towards Provable Security for Ad Hoc Routing Protocols - Buttyan, Vajda (2004) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the ACM Symposium on the Theory of Computing, 1998.
Foundations of Cryptography - Goldreich (2004) (50 citations) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key-Exchange Protocols. In 30th ACM Symposium on the Theory of Computing, pages 419-428, 1998.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th Annual ACM Symposium on Theory of Computing (STOC), pages 419--428, 1998.
A Derivation System for Security Protocols and its.. - Datta, Derek.. (2003) (4 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of 30th Annual Symposium on the Theory of Computing. ACM, 1998.
Scalable Protocols for Authenticated Group Key Exchange - Katz, Yung (2003) (12 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. STOC '98.
Provably Secure Authenticated Tree Based Group Key.. - Barua, Dutta, Sarkar (2004) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proceedings of the 30th Annual Symposium on the Theory of Computing, pages 419-428. ACM, 1998. http://www.cs.edu/users/mihir/papers/keydistribution. html/.
Scalable Protocols for Authenticated Group Key Exchange - Katz, Yung (2003) (12 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proc. 30th Annual ACM Symposium on Theory of Computing, ACM, 1998, pp. 419--428.
Provably Authenticated Group Diffie-Hellman Key Exchange - Bresson, Chevassut.. (5 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. In Proc. of STOC '98. ACM Press, 1998.
On Protocol Security in the Cryptographic Model - Nielsen (2003) (1 citation) (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proceedings of the Thirtieth Annual ACM Symposium on the Theory of Computing, pages 419--428, Dallas, TX, USA, 24--26 May 1998.
A Model for Asynchronous Reactive Systems and its.. - Pfitzmann, Waidner (2001) (46 citations) (Correct)
No context found.
M. Bellare, R. Canetti, H. Krawczyk, A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols, 13th Symp. on Theory of Computing (STOC), ACM, 1998, 419--428
Scalable Protocols for Authenticated Group Key Exchange - Katz, Yung (2003) (12 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proc. 30th Annual ACM Symposium on Theory of Computing, ACM, 1998, pp. 419--428.
Simulation-Sound Non-Interactive Zero Knowledge - Amit Sahai January (2000) (1 citation) (Correct)
No context found.
M. BELLARE, R. CANETTI AND H. KRAWCZYK, A modular approach to the design and analysis of authentication and key exchange protocols. Proceedings of the 30th Annual Symposium on Theory of Computing, ACM, 1998.
Concurrent/Resettable Zero-Knowledge with Concurrent Soundness in.. - Zhao (2003) (Correct)
No context found.
M. Bellare, R. Canetti and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key-Exchange Protocols. In ACM Symposium on Theory of Computing, pages 419-428, 1998.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols. In Proc. 30th Annual ACM Symposium on Theory of Computing (STOC), pages 419--428, 1998.
One-Round Protocols for Two-Party Authenticated Key Exchange - Jeong, Katz, Lee (2004) (4 citations) (Correct)
No context found.
M. Bellare, R. Canetti, and H. Krawczyk. A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proc. 30th Annual Symposium on the Theory of Computing, pages 419--428, ACM, 1998.
A Password-Based Authenticator: Security Proof and.. - Hitchcock, Tin.. (Correct)
No context found.
Mihir Bellare, Ran Canetti, and Hugo Krawczyk. A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract). In Proceedings of the 30th Annual ACM Symposium on Theory of Computing (STOC '98), pages 419--428, New York, May 1998. ACM Press. Full paper available at: http://wwwcse. ucsd.edu/users/mihir/papers/modular.ps.gz (accessed 12/11/2002).
Composition and Integrity Preservation of Secure Reactive.. - Pfitzmann, Waidner (2000) (56 citations) (Correct)
No context found.
M. Bellare, R. Canetti, H. Krawczyk, A modular approach to the design and analysis of authentication and key exchange protocols, 13th Symp. on Theory of Computing (STOC), ACM, 1998, 419--428
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC