]>
Hybrid key exchange in TLS 1.3University of Waterloodstebila@uwaterloo.caCisco Systemssfluhrer@cisco.comUniversity of Haifashay.gueron@gmail.comInternet-DraftHybrid key exchange refers to using multiple key exchange algorithms simultaneously and combining the result with the goal of providing security even if all but one of the component algorithms is broken. It is motivated by transition to post-quantum cryptography. This document provides a construction for hybrid key exchange in the Transport Layer Security (TLS) protocol version 1.3.Discussion of this work is encouraged to happen on the TLS IETF mailing list tls@ietf.org or on the GitHub repository which contains the draft: https://github.com/dstebila/draft-ietf-tls-hybrid-design.IntroductionThis document gives a construction for hybrid key exchange in TLS 1.3. The overall design approach is a simple, "concatenation"-based approach: each hybrid key exchange combination should be viewed as a single new key exchange method, negotiated and transmitted using the existing TLS 1.3 mechanisms.This document does not propose specific post-quantum mechanisms; see for more on the scope of this document.Revision history
RFC Editor's Note: Please remove this section prior to publication of a final version of this document.
Earlier versions of this document categorized various design decisions one could make when implementing hybrid key exchange in TLS 1.3.
draft-ietf-tls-hybrid-design-09:
Removal of TBD hybrid combinations using Kyber512 or secp384r1
Editorial changes
draft-ietf-tls-hybrid-design-08:
Add reference to and drafts
draft-ietf-tls-hybrid-design-07:
Editorial changes
Add reference to draft
draft-ietf-tls-hybrid-design-06:
Bump to version -06 to avoid expiry
draft-ietf-tls-hybrid-design-05:
Define four hybrid key exchange methods
Updates to reflect NIST's selection of Kyber
Clarifications and rewordings based on working group comments
draft-ietf-tls-hybrid-design-04:
Some wording changes
Remove design considerations appendix
draft-ietf-tls-hybrid-design-03:
Remove specific code point examples and requested codepoint range for hybrid private use
Change "Open questions" to "Discussion"
Some wording changes
draft-ietf-tls-hybrid-design-02:
Bump to version -02 to avoid expiry
draft-ietf-tls-hybrid-design-01:
Forbid variable-length secret keys
Use fixed-length KEM public keys/ciphertexts
draft-ietf-tls-hybrid-design-00:
Allow key_exchange values from the same algorithm to be reused across multiple KeyShareEntry records in the same ClientHello.
draft-stebila-tls-hybrid-design-03:
Add requirement for KEMs to provide protection against key reuse.
Clarify FIPS-compliance of shared secret concatenation method.
draft-stebila-tls-hybrid-design-02:
Design considerations from draft-stebila-tls-hybrid-design-00 and draft-stebila-tls-hybrid-design-01 are moved to the appendix.
TerminologyFor the purposes of this document, it is helpful to be able to divide cryptographic algorithms into two classes:
"Traditional" algorithms: Algorithms which are widely deployed today, but which may be deprecated in the future. In the context of TLS 1.3, examples of traditional key exchange algorithms include elliptic curve Diffie-Hellman using secp256r1 or x25519, or finite-field Diffie-Hellman.
"Next-generation" (or "next-gen") algorithms: Algorithms which are not yet widely deployed, but which may eventually be widely deployed. An additional facet of these algorithms may be that we have less confidence in their security due to them being relatively new or less studied. This includes "post-quantum" algorithms.
"Hybrid" key exchange, in this context, means the use of two (or more) key exchange algorithms based on different cryptographic assumptions, e.g., one traditional algorithm and one next-gen algorithm, with the purpose of the final session key being secure as long as at least one of the component key exchange algorithms remains unbroken.
When one of the algorithms is traditional and one of them is postquantum, this is a Post-Quantum Traditional Hybrid Scheme ; while this is the initial use case for this draft, we do not limit this draft to that case.
We use the term "component" algorithms to refer to the algorithms combined in a hybrid key exchange.We note that some authors prefer the phrase "composite" to refer to the use of multiple algorithms, to distinguish from "hybrid public key encryption" in which a key encapsulation mechanism and data encapsulation mechanism are combined to create public key encryption.It is intended that the composite algorithms within a hybrid key exchange are to be performed, that is, negotiated and transmitted, within the TLS 1.3 handshake. Any out-of-band method of exchanging keying material is considered out-of-scope.The primary motivation of this document is preparing for post-quantum algorithms. However, it is possible that public key cryptography based on alternative mathematical constructions will be desired to mitigate risks independent of the advent of a quantum computer, for example because of a cryptanalytic breakthrough. As such we opt for the more generic term "next-generation" algorithms rather than exclusively "post-quantum" algorithms.Note that TLS 1.3 uses the phrase "groups" to refer to key exchange algorithms -- for example, the supported_groups extension -- since all key exchange algorithms in TLS 1.3 are Diffie-Hellman-based. As a result, some parts of this document will refer to data structures or messages with the term "group" in them despite using a key exchange algorithm that is not Diffie-Hellman-based nor a group.Motivation for use of hybrid key exchangeA hybrid key exchange algorithm allows early adopters eager for post-quantum security to have the potential of post-quantum security (possibly from a less-well-studied algorithm) while still retaining at least the security currently offered by traditional algorithms. They may even need to retain traditional algorithms due to regulatory constraints, for example FIPS compliance.Ideally, one would not use hybrid key exchange: one would have confidence in a single algorithm and parameterization that will stand the test of time. However, this may not be the case in the face of quantum computers and cryptanalytic advances more generally.Many (though not all) post-quantum algorithms currently under consideration are relatively new; they have not been subject to the same depth of study as RSA and finite-field or elliptic curve Diffie-Hellman, and thus the security community does not necessarily have as much confidence in their fundamental security, or the concrete security level of specific parameterizations.Moreover, it is possible that after next-generation algorithms are defined, and for a period of time thereafter, conservative users may not have full confidence in some algorithms.Some users may want to accelerate adoption of post-quantum cryptography due to the threat of retroactive decryption: if a cryptographic assumption is broken due to the advent of a quantum computer or some other cryptanalytic breakthrough, confidentiality of information can be broken retroactively by any adversary who has passively recorded handshakes and encrypted communications. Hybrid key exchange enables potential security against retroactive decryption while not fully abandoning traditional cryptosystems.As such, there may be users for whom hybrid key exchange is an appropriate step prior to an eventual transition to next-generation algorithms. Users should consider the confidence they have in each hybrid component to assess that the hybrid system meets the desired motivation.ScopeThis document focuses on hybrid ephemeral key exchange in TLS 1.3 . It intentionally does not address:
Selecting which next-generation algorithms to use in TLS 1.3, or algorithm identifiers or encoding mechanisms for next-generation algorithms. This selection will be based on the recommendations by the Crypto Forum Research Group (CFRG), which is currently waiting for the results of the NIST Post-Quantum Cryptography Standardization Project .
Authentication using next-generation algorithms. While quantum computers could retroactively decrypt previous sessions, session authentication cannot be retroactively broken.
GoalsThe primary goal of a hybrid key exchange mechanism is to facilitate the establishment of a shared secret which remains secure as long as as one of the component key exchange mechanisms remains unbroken.In addition to the primary cryptographic goal, there may be several additional goals in the context of TLS 1.3:
Backwards compatibility: Clients and servers who are "hybrid-aware", i.e., compliant with whatever hybrid key exchange standard is developed for TLS, should remain compatible with endpoints and middle-boxes that are not hybrid-aware. The three scenarios to consider are:
Hybrid-aware client, hybrid-aware server: These parties should establish a hybrid shared secret.
Hybrid-aware client, non-hybrid-aware server: These parties should establish a traditional shared secret (assuming the hybrid-aware client is willing to downgrade to traditional-only).
Non-hybrid-aware client, hybrid-aware server: These parties should establish a traditional shared secret (assuming the hybrid-aware server is willing to downgrade to traditional-only).
Ideally backwards compatibility should be achieved without extra round trips and without sending duplicate information; see below.
High performance: Use of hybrid key exchange should not be prohibitively expensive in terms of computational performance. In general this will depend on the performance characteristics of the specific cryptographic algorithms used, and as such is outside the scope of this document. See for preliminary results about performance characteristics.
Low latency: Use of hybrid key exchange should not substantially increase the latency experienced to establish a connection. Factors affecting this may include the following.
The computational performance characteristics of the specific algorithms used. See above.
The size of messages to be transmitted. Public key and ciphertext sizes for post-quantum algorithms range from hundreds of bytes to over one hundred kilobytes, so this impact can be substantial. See for preliminary results in a laboratory setting, and for preliminary results on more realistic networks.
Additional round trips added to the protocol. See below.
No extra round trips: Attempting to negotiate hybrid key exchange should not lead to extra round trips in any of the three hybrid-aware/non-hybrid-aware scenarios listed above.
Minimal duplicate information: Attempting to negotiate hybrid key exchange should not mean having to send multiple public keys of the same type.
Key encapsulation mechanismsThis document models key agreement as key encapsulation mechanisms (KEMs), which consist of three algorithms:
KeyGen() -> (pk, sk): A probabilistic key generation algorithm, which generates a public key pk and a secret key sk.
Encaps(pk) -> (ct, ss): A probabilistic encapsulation algorithm, which takes as input a public key pk and outputs a ciphertext ct and shared secret ss.
Decaps(sk, ct) -> ss: A decapsulation algorithm, which takes as input a secret key sk and ciphertext ct and outputs a shared secret ss, or in some cases a distinguished error value.
The main security property for KEMs is indistinguishability under adaptive chosen ciphertext attack (IND-CCA2), which means that shared secret values should be indistinguishable from random strings even given the ability to have other arbitrary ciphertexts decapsulated. IND-CCA2 corresponds to security against an active attacker, and the public key / secret key pair can be treated as a long-term key or reused. A common design pattern for obtaining security under key reuse is to apply the Fujisaki-Okamoto (FO) transform or a variant thereof .A weaker security notion is indistinguishability under chosen plaintext attack (IND-CPA), which means that the shared secret values should be indistinguishable from random strings given a copy of the public key. IND-CPA roughly corresponds to security against a passive attacker, and sometimes corresponds to one-time key exchange.Key exchange in TLS 1.3 is phrased in terms of Diffie-Hellman key exchange in a group. DH key exchange can be modeled as a KEM, with KeyGen corresponding to selecting an exponent x as the secret key and computing the public key g^x; encapsulation corresponding to selecting an exponent y, computing the ciphertext g^y and the shared secret g^(xy), and decapsulation as computing the shared secret g^(xy). See for more details of such Diffie-Hellman-based key encapsulation mechanisms. Diffie-Hellman key exchange, when viewed as a KEM, does not formally satisfy IND-CCA2 security, but is still safe to use for ephemeral key exchange in TLS 1.3, see e.g. .TLS 1.3 does not require that ephemeral public keys be used only in a single key exchange session; some implementations may reuse them, at the cost of limited forward secrecy. As a result, any KEM used in the manner described in this document MUST explicitly be designed to be secure in the event that the public key is reused. Finite-field and elliptic-curve Diffie-Hellman key exchange methods used in TLS 1.3 satisfy this criteria. For generic KEMs, this means satisfying IND-CCA2 security or having a transform like the Fujisaki-Okamoto transform applied. While it is recommended that implementations avoid reuse of KEM public keys, implementations that do reuse KEM public keys MUST ensure that the number of reuses of a KEM public key abides by any bounds in the specification of the KEM or subsequent security analyses. Implementations MUST NOT reuse randomness in the generation of KEM ciphertexts.Construction for hybrid key exchangeNegotiationEach particular combination of algorithms in a hybrid key exchange will be represented as a NamedGroup and sent in the supported_groups extension. No internal structure or grammar is implied or required in the value of the identifier; they are simply opaque identifiers.Each value representing a hybrid key exchange will correspond to an ordered pair of two or more algorithms. (We note that this is independent from future documents standardizing solely post-quantum key exchange methods, which would have to be assigned their own identifier.)Specific values shall be registered by IANA in the TLS Supported Groups registry.Transmitting public keys and ciphertextsWe take the relatively simple "concatenation approach": the messages from the two or more algorithms being hybridized will be concatenated together and transmitted as a single value, to avoid having to change existing data structures. The values are directly concatenated, without any additional encoding or length fields; this assumes that the representation and length of elements is fixed once the algorithm is fixed. If concatenation were to be used with values that are not fixed-length, a length prefix or other unambiguous encoding must be used to ensure that the composition of the two values is injective and requires a mechanism different from that specified in this document.Recall that in TLS 1.3 a KEM public key or KEM ciphertext is represented as a KeyShareEntry:;
} KeyShareEntry;
]]>These are transmitted in the extension_data fields of KeyShareClientHello and KeyShareServerHello extensions:;
} KeyShareClientHello;
struct {
KeyShareEntry server_share;
} KeyShareServerHello;
]]>The client's shares are listed in descending order of client preference; the server selects one algorithm and sends its corresponding share.For a hybrid key exchange, the key_exchange field of a KeyShareEntry is the concatenation of the key_exchange field for each of the constituent algorithms. The order of shares in the concatenation is the same as the order of algorithms indicated in the definition of the NamedGroup.For the client's share, the key_exchange value contains the concatenation of the pk outputs of the corresponding KEMs' KeyGen algorithms, if that algorithm corresponds to a KEM; or the (EC)DH ephemeral key share, if that algorithm corresponds to an (EC)DH group. For the server's share, the key_exchange value contains concatenation of the ct outputs of the corresponding KEMs' Encaps algorithms, if that algorithm corresponds to a KEM; or the (EC)DH ephemeral key share, if that algorithm corresponds to an (EC)DH group. requires that ``The key_exchange values for each KeyShareEntry MUST be generated independently.'' In the context of this document, since the same algorithm may appear in multiple named groups, we relax the above requirement to allow the same key_exchange value for the same algorithm to be reused in multiple KeyShareEntry records sent in within the same ClientHello. However, key_exchange values for different algorithms MUST be generated independently.Shared secret calculationHere we also take a simple "concatenation approach": the two shared secrets are concatenated together and used as the shared secret in the existing TLS 1.3 key schedule. Again, we do not add any additional structure (length fields) in the concatenation procedure: for both the traditional groups and Kyber, the shared secret output length is fixed for a specific elliptic curve or parameter set.In other words, the shared secret is calculated asand inserted into the TLS 1.3 key schedule in place of the (EC)DHE shared secret, as shown in .FIPS-compliance of shared secret concatenation. or give NIST recommendations for key derivation methods in key exchange protocols. Some hybrid combinations may combine the shared secret from a NIST-approved algorithm (e.g., ECDH using the nistp256/secp256r1 curve) with a shared secret from a non-approved algorithm (e.g., post-quantum). lists simple concatenation as an approved method for generation of a hybrid shared secret in which one of the constituent shared secret is from an approved method.DiscussionLarger public keys and/or ciphertexts.
The HybridKeyExchange struct in limits public keys and ciphertexts to 2^16-1 bytes; this is bounded by the same (2^16-1)-byte limit on the key_exchange field in the KeyShareEntry struct. Some post-quantum KEMs have larger public keys and/or ciphertexts; for example, Classic McEliece's smallest parameter set has public key size 261,120 bytes. However, all defined parameter sets for Kyber have public keys and ciphertexts that fall within the TLS constraints.Duplication of key shares.
Concatenation of public keys in the HybridKeyExchange struct as described in can result in sending duplicate key shares. For example, if a client wanted to offer support for two combinations, say "SecP256r1Kyber768Draft00" and "X25519Kyber768Draft00", it would end up sending two kyber768 public keys, since the KeyShareEntry for each combination contains its own copy of a kyber768 key. This duplication may be more problematic for post-quantum algorithms which have larger public keys. On the other hand, if the client wants to offer, for example "SecP256r1Kyber768Draft00" and "secp256r1" (for backwards compatibility), there is relatively little duplicated data (as the secp256r1 keys are comparatively small).Failures.
Some post-quantum key exchange algorithms, including Kyber, have non-zero probability of failure, meaning two honest parties may derive different shared secrets. This would cause a handshake failure. Kyber has a cryptographically small failure rate; if other algorithms are used, implementers should be aware of the potential of handshake failure. Clients can retry if a failure is encountered.Defined Hybrid GroupsThis document defines or references four initial hybrids for use within TLS 1.3, as shown in , where the components x25519 and secp256r1 are the existing named groups.Hybrid key exchanged methods defined by this document
Hybrid name
Hybrid components
Named group
X25519Kyber768Draft00
x25519, Kyber768
0x6399
SecP256r1Kyber768Draft00
secp256r1, Kyber768
0x639A
Kyber versionFor Kyber768, this document refers to the same named parameter sets defined in the Round 3 submission of Kyber to NIST. That submission defines two variants for each parameter set based on the symmetric primitives used. This document uses the FIPS 202 variant (and not the "90s" variant); the FIPS 202 variant uses SHA-3 and SHAKE as its internal symmetric primitives.The Kyber team has updated their documentation twice since submitting to Round 3 (these updates are labeled as version 3.0.1 and 3.0.2), however neither modifies the FIPS 202 variant of Kyber. This version is documented in .The X25519Kyber768Draft00 hybrid (0x6399) is defined in . The SecP256r1Kyber768Draft00 hybrid (0x639A) is defined in .Details of Kyber componentsThe listed kyber768 components are the named parameter sets of the key exchange method Kyber .
When it is used, the client selects an ephemeral private key, generates the corresponding public key, and transmits that (as a component) within its keyshare.
When the server receives this keyshare, it extracts the Kyber public key, generates a ciphertext and shared secret. It then transmits the ciphertext (as a component) within its keyshare.
When the client receives this keyshare, it extracts the Kyber ciphertext, and uses its private key to generate the shared secret.
Both sides use their copy of the shared secret as a component within the hybrid shared secret.IANA ConsiderationsIANA will assign identifiers from the TLS TLS Supported Groups section for the hybrid combinations defined in this document.
These assignments should be made in a range that is distinct from the Elliptic Curve Groups and the Finite Field Groups ranges.Security ConsiderationsThe shared secrets computed in the hybrid key exchange should be computed in a way that achieves the "hybrid" property: the resulting secret is secure as long as at least one of the component key exchange algorithms is unbroken. See and for an investigation of these issues. Under the assumption that shared secrets are fixed length once the combination is fixed, the construction from corresponds to the dual-PRF combiner of which is shown to preserve security under the assumption that the hash function is a dual-PRF.As noted in , KEMs used in the manner described in this document MUST explicitly be designed to be secure in the event that the public key is reused, such as achieving IND-CCA2 security or having a transform like the Fujisaki-Okamoto transform applied. Kyber has such security properties. However, some other post-quantum KEMs are designed to be IND-CPA-secure (i.e., without countermeasures such as the FO transform) are completely insecure under public key reuse; for example, some lattice-based IND-CPA-secure KEMs are vulnerable to attacks that recover the private key after just a few thousand samples .Public keys, ciphertexts, and secrets should be constant length.
This document assumes that the length of each public key, ciphertext, and shared secret is fixed once the algorithm is fixed. This is the case for Kyber.Note that variable-length secrets are, generally speaking, dangerous. In particular, when using key material of variable length and processing it using hash functions, a timing side channel may arise. In broad terms, when the secret is longer, the hash function may need to process more blocks internally. In some unfortunate circumstances, this has led to timing attacks, e.g. the Lucky Thirteen and Raccoon attacks.Furthermore, identified a risk of using variable-length secrets when the hash function used in the key derivation function is no longer collision-resistant.Therefore, this specification MUST only be used with algorithms which have fixed-length shared secrets (after the variant has been fixed by the algorithm identifier in the NamedGroup negotiation in ).AcknowledgementsThese ideas have grown from discussions with many colleagues, including Christopher Wood, Matt Campagna, Eric Crockett, authors of the various hybrid Internet-Drafts and implementations cited in this document, and members of the TLS working group. The immediate impetus for this document came from discussions with attendees at the Workshop on Post-Quantum Software in Mountain View, California, in January 2019. Daniel J. Bernstein and Tanja Lange commented on the risks of reuse of ephemeral public keys. Matt Campagna and the team at Amazon Web Services provided additional suggestions. Nimrod Aviram proposed restricting to fixed-length secrets.ReferencesNormative ReferencesThe Transport Layer Security (TLS) Protocol Version 1.3This document specifies version 1.3 of the Transport Layer Security (TLS) protocol. TLS allows client/server applications to communicate over the Internet in a way that is designed to prevent eavesdropping, tampering, and message forgery.This document updates RFCs 5705 and 6066, and obsoletes RFCs 5077, 5246, and 6961. This document also specifies new requirements for TLS 1.2 implementations.X25519Kyber768Draft00 hybrid post-quantum key agreementCloudflareUniversity of Waterloo This memo defines X25519Kyber768Draft00, a hybrid post-quantum key
exchange for TLS 1.3.
Post-quantum hybrid ECDHE-Kyber Key Agreement for TLSv1.3PQShield, LTDAWS This draft defines a hybrid key agreement for TLS 1.3 that combines a
post-quantum KEM with elliptic curve Diffie-Hellman (ECDHE).
Kyber Post-Quantum KEMMPI-SPI & Radboud UniversityCloudflare This memo specifies a preliminary version ("draft00", "v3.02") of
Kyber, an IND-CCA2 secure Key Encapsulation Method.
About This Document
This note is to be removed before publishing as an RFC.
The latest revision of this draft can be found at
https://bwesterb.github.io/draft-schwabe-cfrg-kyber/draft-cfrg-
schwabe-kyber.html. Status information for this document may be
found at https://datatracker.ietf.org/doc/draft-cfrg-schwabe-kyber/.
Source for this draft and an issue tracker can be found at
https://github.com/bwesterb/draft-schwabe-cfrg-kyber.
Informative References[TLS] Combining Secrets in Hybrid Key Exchange in TLS 1.3Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors ProblemIEEEPost-Quantum CryptographySpringer Berlin HeidelbergHybrid Key Encapsulation Mechanisms and Authenticated Key ExchangeSpringer International PublishingHybrid Post-Quantum Key Encapsulation Methods (PQ KEM) for Transport Layer Security 1.2 (TLS)AWSAWS Hybrid key exchange refers to executing two independent key exchanges
and feeding the two resulting shared secrets into a Pseudo Random
Function (PRF), with the goal of deriving a secret which is as secure
as the stronger of the two key exchanges. This document describes
new hybrid key exchange schemes for the Transport Layer Security 1.2
(TLS) protocol. The key exchange schemes are based on combining
Elliptic Curve Diffie-Hellman (ECDH) with a post-quantum key
encapsulation method (PQ KEM) using the existing TLS PRF.
Experimenting with Post-Quantum CryptographyCECPQ2Chosen-Ciphertext Security of Multiple EncryptionSpringer Berlin HeidelbergA Cryptographic Analysis of the TLS 1.3 Handshake ProtocolSpringer Science and Business Media LLCQuantum safe cryptography and security: An introduction, benefits, enablers and challengersOn the Power of Cascade CiphersSpringer USTLS 1.3 Extension for Certificate-Based Authentication with an External Pre-Shared KeyThis document specifies a TLS 1.3 extension that allows a server to authenticate with a combination of a certificate and an external pre-shared key (PSK).Cryptanalysis of ring-LWE based key exchange with key share reuseSecure Integration of Asymmetric and Symmetric Encryption SchemesSpringer Science and Business Media LLCFrodo: Take off the Ring! Practical, Quantum-Secure Key Exchange from LWENXP Semiconductors, Eindhoven, NetherlandsMicrosoft Research, Redmond, WA, USACWI, Amsterdam, NetherlandsGoogle, Mountain View, CA, USAMicrosoft Research, Redmond, WA, USAStanford University, Stanford, CA, USAGoogle, Mountain View, CA, USAMcMaster University, Hamilton, ON, CanadaACMKEM CombinersSpringer International PublishingOn Robust Combiners for Oblivious Transfer and Other PrimitivesSpringer Berlin HeidelbergA Modular Analysis of the Fujisaki-Okamoto TransformationSpringer International PublishingHybrid Public Key EncryptionThis document describes a scheme for hybrid public key encryption (HPKE). This scheme provides a variant of public key encryption of arbitrary-sized plaintexts for a recipient public key. It also includes three authenticated variants, including one that authenticates possession of a pre-shared key and two optional ones that authenticate possession of a key encapsulation mechanism (KEM) private key. HPKE works for any combination of an asymmetric KEM, key derivation function (KDF), and authenticated encryption with additional data (AEAD) encryption function. Some authenticated variants may not be supported by all KEMs. We provide instantiations of the scheme using widely used and efficient primitives, such as Elliptic Curve Diffie-Hellman (ECDH) key agreement, HMAC-based key derivation function (HKDF), and SHA2.This document is a product of the Crypto Forum Research Group (CFRG) in the IRTF.Framework to Integrate Post-quantum Key Exchanges into Internet Key Exchange Protocol Version 2 (IKEv2)Post-QuantumPost-QuantumCisco SystemsCisco SystemsISARA CorporationPhilipsELVIS-PLUS This document describes how to extend Internet Key Exchange Protocol
Version 2 (IKEv2) so that the shared secret exchanged between peers
has resistance against quantum computer attacks. The basic idea is
to exchange one or more post-quantum key exchange payloads in
conjunction with the existing (Elliptic Curve) Diffie-Hellman
payload.
Mixing Preshared Keys in the Internet Key Exchange Protocol Version 2 (IKEv2) for Post-quantum SecurityThe possibility of quantum computers poses a serious challenge to cryptographic algorithms deployed widely today. The Internet Key Exchange Protocol Version 2 (IKEv2) is one example of a cryptosystem that could be broken; someone storing VPN communications today could decrypt them at a later time when a quantum computer is available. It is anticipated that IKEv2 will be extended to support quantum-secure key exchange algorithms; however, that is not likely to happen in the near term. To address this problem before then, this document describes an extension of IKEv2 to allow it to be resistant to a quantum computer by using preshared keys.Hybrid ECDHE-SIDH Key Exchange for TLSMozillaCloudflare This draft specifies a TLS key exchange that combines the post-
quantum key exchange, Supersingular elliptic curve isogenie diffie-
hellman (SIDH), with elliptic curve Diffie-Hellman (ECDHE) key
exchange.
Crystals-Kyber NIST Round 3 submissionPost-quantum confidentiality for TLSLucky Thirteen: Breaking the TLS and DTLS record protocolsn.d.Quantum Computation and Quantum InformationPost-Quantum CryptographyNational Institute of Standards and Technology (NIST)n.d.SHA-3 Standard: Permutation-Based Hash and Extendable-Output FunctionsNational Institute of Standards and Technology (NIST)Recommendation for Key-Derivation Methods in Key-Establishment SchemesNational Institute of Standards and Technology (NIST)Recommendation for Existing Application-Specific Key Derivation FunctionsNational Institute of Standards and Technology (NIST)OQS-OpenSSL-1-0-2_stableOpen Quantum Safe ProjectOQS-OpenSSL-1-1-1_stableOpen Quantum Safe ProjectOQS Provider for OpenSSL 3Open Quantum Safe ProjectBenchmarking Post-quantum Cryptography in TLSSpringer International PublishingRaccoon Attack: Finding and Exploiting Most-Significant-Bit-Oracles in TLS-DH(E)Post-quantum TLS now supported in AWS KMSAmazon Web ServicesA Transport Layer Security (TLS) Extension For Establishing An Additional Shared SecretUniversity of WaterlooMcMaster University This document defines a Transport Layer Security (TLS) extension that
allows parties to establish an additional shared secret using a
second key exchange algorithm and incorporates this shared secret
into the TLS key schedule.
Quantum-Safe Hybrid (QSH) Ciphersuite for Transport Layer Security (TLS) version 1.2Security InnovationSecurity Innovation This document describes the Quantum-Safe Hybrid ciphersuite, a new
cipher suite providing modular design for quantum-safe cryptography
to be adopted in the handshake for the Transport Layer Security (TLS)
protocol version 1.2. In particular, it specifies the use of the
NTRUEncrypt encryption scheme in a TLS handshake.
Quantum-Safe Hybrid (QSH) Key Exchange for Transport Layer Security (TLS) version 1.3Onboard SecurityOnboard SecurityCisco SystemsPhilips This document describes the Quantum-Safe Hybrid Key Exchange, a
mechanism for providing modular design for quantum-safe cryptography
to be adopted in the handshake for the Transport Layer Security (TLS)
protocol version 1.3.
XMSS: eXtended Merkle Signature SchemeThis note describes the eXtended Merkle Signature Scheme (XMSS), a hash-based digital signature system that is based on existing descriptions in scientific literature. This note specifies Winternitz One-Time Signature Plus (WOTS+), a one-time signature scheme; XMSS, a single-tree scheme; and XMSS^MT, a multi-tree variant of XMSS. Both XMSS and XMSS^MT use WOTS+ as a main building block. XMSS provides cryptographic digital signatures without relying on the conjectured hardness of mathematical problems. Instead, it is proven that it only relies on the properties of cryptographic hash functions. XMSS provides strong security guarantees and is even secure when the collision resistance of the underlying hash function is broken. It is suitable for compact implementations, is relatively simple to implement, and naturally resists side-channel attacks. Unlike most other signature systems, hash-based signatures can so far withstand known attacks using quantum computers.On the Security of Multiple Encryption or CCA-security+CCA-security=CCA-security?Springer Berlin HeidelbergTerminology for Post-Quantum Traditional Hybrid SchemesUK National Cyber Security Centre One aspect of the transition to post-quantum algorithms in
cryptographic protocols is the development of hybrid schemes that
incorporate both post-quantum and traditional asymmetric algorithms.
This document defines terminology for such schemes. It is intended
to be used as a reference and, hopefully, to ensure consistency and
clarity across different protocols, standards, and organisations.
Related workQuantum computing and post-quantum cryptography in general are outside the scope of this document. For a general introduction to quantum computing, see a standard textbook such as . For an overview of post-quantum cryptography as of 2009, see . For the current status of the NIST Post-Quantum Cryptography Standardization Project, see . For additional perspectives on the general transition from traditional to post-quantum cryptography, see for example , among others.There have been several Internet-Drafts describing mechanisms for embedding post-quantum and/or hybrid key exchange in TLS:
Internet-Drafts for TLS 1.2: ,
Internet-Drafts for TLS 1.3: , ,
There have been several prototype implementations for post-quantum and/or hybrid key exchange in TLS:
Experimental implementations in TLS 1.2: , , , ,
Experimental implementations in TLS 1.3: , , ,
These experimental implementations have taken an ad hoc approach and not attempted to implement one of the drafts listed above.Unrelated to post-quantum but still related to the issue of combining multiple types of keying material in TLS is the use of pre-shared keys, especially the recent TLS working group document on including an external pre-shared key .Considering other IETF standards, there is work on post-quantum preshared keys in IKEv2 and a framework for hybrid key exchange in IKEv2 . The XMSS hash-based signature scheme has been published as an informational RFC by the IRTF .In the academic literature, initiated the study of combining multiple symmetric encryption schemes; , , and examined combining multiple public key encryption schemes, and coined the term "robust combiner" to refer to a compiler that constructs a hybrid scheme from individual schemes while preserving security properties. and examined combining multiple key encapsulation mechanisms.