One-round key exchange in the standard model

Authors:
Colin Boyd;Yvonne Cliff;Juan M. Gonzalez Nieto;Kenneth G. Paterson
Affiliations:
Information Security Institute, Queensland University of Technology, GPO Box 2434 Brisbane, Qld 4001, Australia.;Information Security Institute, Queensland University of Technology, GPO Box 2434 Brisbane, Qld 4001, Australia.;Information Security Institute, Queensland University of Technology, GPO Box 2434 Brisbane, Qld 4001, Australia.;Information Security Group, Royal Holloway University of London, Egham, Surrey TW20 0EX, UK
Venue:
International Journal of Applied Cryptography
Year:
2009

Citing 16
Cited 8

The computational complexity of universal hashing

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Randomness is linear in space

Journal of Computer and System Sciences
The random oracle methodology, revisited (preliminary version)

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
The security of the cipher block chaining message authentication code

Journal of Computer and System Sciences
Adapting the Weaknesses of the Random Oracle Model to the Generic Group Model

ASIACRYPT '02 Proceedings of the 8th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology
SKEME: a versatile secure key exchange mechanism for Internet

SNDSS '96 Proceedings of the 1996 Symposium on Network and Distributed System Security (SNDSS '96)
Exposure-resilient cryptography

Exposure-resilient cryptography
Chosen-ciphertext secure key-encapsulation based on gap hashed Diffie-Hellman

PKC'07 Proceedings of the 10th international conference on Practice and theory in public-key cryptography
Stronger security of authenticated key exchange

ProvSec'07 Proceedings of the 1st international conference on Provable security
HMQV: a high-performance secure diffie-hellman protocol

CRYPTO'05 Proceedings of the 25th annual international conference on Advances in Cryptology
Efficient identity-based encryption without random oracles

EUROCRYPT'05 Proceedings of the 24th annual international conference on Theory and Applications of Cryptographic Techniques
Tag-KEM/DEM: a new framework for hybrid encryption and a new analysis of kurosawa-desmedt KEM

EUROCRYPT'05 Proceedings of the 24th annual international conference on Theory and Applications of Cryptographic Techniques
New proofs for NMAC and HMAC: security without collision-resistance

CRYPTO'06 Proceedings of the 26th annual international conference on Advances in Cryptology
Practical identity-based encryption without random oracles

EUROCRYPT'06 Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques
Direct chosen-ciphertext secure identity-based key encapsulation without random oracles

ACISP'06 Proceedings of the 11th Australasian conference on Information Security and Privacy

Generic one round group key exchange in the standard model

ICISC'09 Proceedings of the 12th international conference on Information security and cryptology
Degrees of security: protocol guarantees in the face of compromising adversaries

CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Attribute-based authenticated key exchange

ACISP'10 Proceedings of the 15th Australasian conference on Information security and privacy
Examining indistinguishability-based security models for key exchange protocols: the case of CK, CK-HMQV, and eCK

Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security
A generic variant of NIST's KAS2 key agreement protocol

ACISP'11 Proceedings of the 16th Australasian conference on Information security and privacy
Strongly secure authenticated key exchange from factoring, codes, and lattices

PKC'12 Proceedings of the 15th international conference on Practice and Theory in Public Key Cryptography
Two-party round-optimal session-policy attribute-based authenticated key exchange without random oracles

ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology
Practical and post-quantum authenticated key exchange from one-way secure key encapsulation mechanism

Proceedings of the 8th ACM SIGSAC symposium on Information, computer and communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of it to the ID-based setting. It is shown how Key-Encapsulation Mechanisms (KEMs) can be used in a generic way to obtain two different protocol designs with progressively stronger security guarantees. A detailed analysis of the performance of the protocols is included; surprisingly, when instantiated with specific KEM constructions, the resulting protocols are competitive with the best previous schemes that have proofs only in the Random Oracle Model.