Efficient One-Round Key Exchange in the Standard Model

Authors:
Colin Boyd;Yvonne Cliff;Juan Gonzalez Nieto;Kenneth G. Paterson
Affiliations:
Information Security Institute, Queensland University of Technology, Brisbane, Australia Qld 4001;Information Security Institute, Queensland University of Technology, Brisbane, Australia Qld 4001;Information Security Institute, Queensland University of Technology, Brisbane, Australia Qld 4001;Information Security Group, Royal Holloway University of London, Egham, Surrey, U.K. TW20 0EX
Venue:
ACISP '08 Proceedings of the 13th Australasian conference on Information Security and Privacy
Year:
2008

Citing 14
Cited 24

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
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

EUROCRYPT '01 Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques: 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)
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
Authenticated key exchange and key encapsulation in the standard model

ASIACRYPT'07 Proceedings of the Advances in Crypotology 13th international conference on Theory and application of cryptology and information 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

Modeling Key Compromise Impersonation Attacks on Group Key Exchange Protocols

Irvine Proceedings of the 12th International Conference on Practice and Theory in Public Key Cryptography: PKC '09
Session-state Reveal Is Stronger Than Ephemeral Key Reveal: Attacking the NAXOS Authenticated Key Exchange Protocol

ACNS '09 Proceedings of the 7th International Conference on Applied Cryptography and Network Security
Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols

ProvSec '09 Proceedings of the 3rd International Conference on Provable Security
Reusing Static Keys in Key Agreement Protocols

INDOCRYPT '09 Proceedings of the 10th International Conference on Cryptology in India: Progress in Cryptology
Certificateless key agreement in the standard model

AISC '10 Proceedings of the Eighth Australasian Conference on Information Security - Volume 105
Strong designated verifier signature in a multi-user setting

AISC '09 Proceedings of the Seventh Australasian Conference on Information Security - Volume 98
Provably secure authenticated key exchange protocol under the CDH assumption

Journal of Systems and Software
Efficient certificateless KEM in the standard model

ICISC'09 Proceedings of the 12th international conference on Information security and cryptology
Provably secure identity-based authenticated key agreement protocols with malicious private key generators

Information Sciences: an International Journal
Certificateless public key encryption: A new generic construction and two pairing-free schemes

Theoretical Computer Science
Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol

International Journal of Applied Cryptography
Ephemeral key leakage resilient and efficient ID-AKEs that can share identities, private and master keys

Pairing'10 Proceedings of the 4th international conference on Pairing-based cryptography
Security analysis of the extended access control protocol for machine readable travel documents

ISC'10 Proceedings of the 13th international conference on Information security
Strongly secure identity-based authenticated key agreement protocols

Computers and Electrical Engineering
Identity-based key exchange protocols without pairings

Transactions on computational science X
A generic variant of NIST's KAS2 key agreement protocol

ACISP'11 Proceedings of the 16th Australasian conference on Information security and privacy
Making the diffie-hellman protocol identity-based

CT-RSA'10 Proceedings of the 2010 international conference on Topics in Cryptology
Authenticated key exchange under bad randomness

FC'11 Proceedings of the 15th international conference on Financial Cryptography and Data Security
On forward secrecy in one-round key exchange

IMACC'11 Proceedings of the 13th IMA international conference on Cryptography and Coding
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
Sufficient condition for identity-based authenticated key exchange resilient to leakage of secret keys

ICISC'11 Proceedings of the 14th international conference on Information Security and Cryptology
Authenticated key exchange with entities from different settings and varied groups

ProvSec'12 Proceedings of the 6th international conference on Provable Security
OAKE: a new family of implicitly authenticated diffie-hellman protocols

Proceedings of the 2013 ACM SIGSAC conference on Computer & 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 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.