<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.8 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-uta-require-tls13-00" category="info" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.21.0 -->
  <front>
    <title abbrev="require-tls1.3">New Protocols Must Require TLS 1.3</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-uta-require-tls13-00"/>
    <author fullname="Rich Salz">
      <organization>Akamai Technologies</organization>
      <address>
        <email>rsalz@akamai.com</email>
      </address>
    </author>
    <author fullname="Nimrod Aviram">
      <organization/>
      <address>
        <email>nimrod.aviram@gmail.com</email>
      </address>
    </author>
    <date year="2024" month="April" day="19"/>
    <area>Security</area>
    <workgroup>Using TLS in Applications</workgroup>
    <keyword>TLS</keyword>
    <keyword>features</keyword>
    <abstract>
      <?line 130?>

<t>TLS 1.2 is in widespread use and can be configured such that it provides good
security properties. TLS 1.3 is also in
widespread use and fixes some known deficiencies with TLS 1.2, such as
removing error-prone cryptographic primitives and encrypting more of the traffic
so that it is not readable by outsiders.</t>
      <t>Since TLS 1.3 use is widespread, new protocols must require and
assume its existence.
This prescription does not pertain to DTLS (in any DTLS version); it pertains to
TLS only.</t>
    </abstract>
    <note removeInRFC="true">
      <name>About This Document</name>
      <t>
        Status information for this document may be found at <eref target="https://datatracker.ietf.org/doc/draft-ietf-uta-require-tls13/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        Using TLS in Applications Working Group mailing list (<eref target="mailto:uta@ietf.org"/>),
        which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/uta/"/>.
        Subscribe at <eref target="https://www.ietf.org/mailman/listinfo/uta/"/>.
      </t>
      <t>Source for this draft and an issue tracker can be found at
        <eref target="https://github.com/richsalz/draft-use-tls13"/>.</t>
    </note>
  </front>
  <middle>
    <?line 143?>

<section anchor="sec-reasons">
      <name>Introduction</name>
      <t>TLS 1.2 <xref target="TLS12"/> is in widespread use and can be configured such that it provides good
security properties. However, this protocol version suffers from several
deficiencies:</t>
      <ol spacing="normal" type="1"><li>
          <t>While application layer traffic is always encrypted, most of the handshake
messages are not encrypted. Therefore, the privacy provided is suboptimal.
This is a protocol issue that cannot be addressed by configuration.</t>
        </li>
        <li>
          <t>The list of cryptographic primitives specified for the protocol, both in-use
primitives and deprecated ones, includes several primitives that were a source for
vulnerabilities throughout the years, such as RSA key exchange, CBC cipher suites,
and problematic finite-field Diffie-Hellman group negotiation.
This deficiency may be addressed through proper configuration; however,
experience shows that configuration mistakes are common, especially when
deploying cryptography.
See <xref target="sec-considerations"/> for elaboration.</t>
        </li>
        <li>
          <t>The original protocol, as-is, does not provide security <xref target="RENEG1"/>,
<xref target="RENEG2"/>, <xref target="TRIPLESHAKE"/>. Rather, some extensions are required to provide
security.</t>
        </li>
      </ol>
      <t>In contrast, TLS 1.3 <xref target="TLS13"/> is also in
widespread use and fixes most known deficiencies with TLS 1.2, such as
encrypting more of the traffic so that it is not readable by outsiders and
removing most cryptographic primitives considered dangerous. Importantly, TLS
1.3 enjoys robust security proofs and provides excellent security as-is.</t>
      <t>This document specifies that, since TLS 1.3 use is widespread, new protocols
must require and assume its existence.
This prescription does not pertain to DTLS (in any DTLS version); it pertains to
TLS only.</t>
    </section>
    <section anchor="conventions-and-definitions">
      <name>Conventions and Definitions</name>
      <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
      <?line -18?>

</section>
    <section anchor="implications-for-post-quantum-cryptography">
      <name>Implications for post-quantum cryptography</name>
      <t>Cryptographically-relevant
quantum computers (CRQC), once available, will have a huge impact on TLS.
In 2016, the US National Institute of Standards and Technology started a
multi-year effort to standardize algorithms that will be "safe"
once quantum computers are feasible <xref target="PQC"/>. First IETF discussions happened
around the same time <xref target="CFRGSLIDES"/>.</t>
      <t>While the industry is waiting for NIST to finish standardization, the
IETF has several efforts underway.
A working group was formed in early 2013 to work on use of PQC in IETF protocols,
<xref target="PQUIPWG"/>.
Several other working groups, including TLS <xref target="uta"/>,
are working on
drafts to support hybrid algorithms and identifiers, for use during a
transition from classic to a post-quantum world.</t>
      <t>For TLS it is important to note that the focus of these efforts is TLS 1.3
or later.
TLS 1.2 WILL NOT be supported (see <xref target="iana"/>).
This is one more reason for new protocols to default to TLS 1.3, where
post-quantum cryptography is expected to be supported.</t>
    </section>
    <section anchor="tls-use-by-other-protocols">
      <name>TLS Use by Other Protocols</name>
      <t>Any new protocol that uses TLS <bcp14>MUST</bcp14> specify as its default TLS 1.3 (or a higher
TLS version, when one becomes stadardized).
For example, QUIC <xref target="QUICTLS"/> requires TLS 1.3 and specifies that endpoints
<bcp14>MUST</bcp14> terminate the connection if an older version is used.</t>
      <t>If deployment considerations are a concern, the protocol <bcp14>MAY</bcp14> specify TLS 1.2 as
an additional, non-default option.
As a counter example, the Usage Profile for DNS over TLS <xref target="DNSTLS"/> specifies
TLS 1.2 as the default, while also allowing TLS 1.3.
For newer specifications that choose to support TLS 1.2, those preferences are
to be reversed.</t>
    </section>
    <section anchor="sec-considerations">
      <name>Security Considerations</name>
      <t>TLS 1.2 was specified with several cryptographic primitives and design choices
that have historically hindered its security. The purpose of this section is to
briefly survey several such prominent problems that have affected the protocol.
It should be noted, however, that TLS 1.2 can be configured securely; it is
merely much more difficult to configure it securely as opposed to using its
modern successor, TLS 1.3. See <xref target="RFC9325"/> for a more thorough guide on the
secure deployment of TLS 1.2.</t>
      <t>Firstly, the TLS 1.2 protocol, without any extension points, is vulnerable to
the renegotiation attack and the Triple Handshake attack. Broadly, these attacks
exploit the protocol's support for renegotiation in order to inject a prefix
chosen by the attacker into the plaintext stream. This is usually a devastating
threat in practice, that allows e.g. obtaining secret cookies in a web setting.
Refer to <xref target="RENEG1"/>, <xref target="RENEG2"/>, <xref target="TRIPLESHAKE"/> for elaboration. In light of
the above problems, <xref target="RFC5746"/> specifies an extension that prevents this
category of attacks. To securely deploy TLS 1.2, either renegotiation must be
disabled entirely, or this extension must be present. Additionally, clients must
not allow servers to renegotiate the certificate during a connection.</t>
      <t>Secondly, the original key exchange methods specified for the protocol, namely
RSA key exchange and finite field Diffie-Hellman, suffer from several
weaknesses. As before, to securely deploy the protocol, these key exchange
methods must be disabled.
Refer to draft-obsolete-kex for elaboration (TODO I guess we will anyway
wait for WGLC for draft-obsolete-kex, so no sense to temporarily refer to the
draft.)</t>
      <t>Thirdly, symmetric ciphers which were widely-used in the protocol, namely RC4
and CBC cipher suites, suffer from several weaknesses. RC4 suffers from
exploitable biases in its key stream; see <xref target="RFC7465"/>. CBC cipher suites have
been a source of vulnerabilities throughout the years. A straightforward
implementation of these cipher suites inherently suffers from the Lucky13 timing
attack <xref target="LUCKY13"/>. The first attempt to implement the cipher suites in
constant time introduced an even more severe vulnerability <xref target="LUCKY13FIX"/>.
There have been further similar vulnerabilities throughout the
years exploiting CBC cipher suites; refer to e.g. <xref target="CBCSCANNING"/>
for an example and a survey of similar works.</t>
      <t>And lastly, historically the protocol was affected by several other attacks that
TLS 1.3 is immune to:
BEAST <xref target="BEAST"/>, Logjam <xref target="WEAKDH"/>, FREAK <xref target="FREAK"/>, and SLOTH <xref target="SLOTH"/>.</t>
    </section>
    <section anchor="iana">
      <name>IANA Considerations</name>
      <t>This document makes no requests to IANA.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <reference anchor="TLS12">
          <front>
            <title>The Transport Layer Security (TLS) Protocol Version 1.2</title>
            <author fullname="T. Dierks" initials="T." surname="Dierks"/>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <date month="August" year="2008"/>
            <abstract>
              <t>This document specifies Version 1.2 of the Transport Layer Security (TLS) protocol. The TLS protocol provides communications security over the Internet. The protocol allows client/server applications to communicate in a way that is designed to prevent eavesdropping, tampering, or message forgery. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5246"/>
          <seriesInfo name="DOI" value="10.17487/RFC5246"/>
        </reference>
        <reference anchor="TLS13">
          <front>
            <title>The Transport Layer Security (TLS) Protocol Version 1.3</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <date month="August" year="2018"/>
            <abstract>
              <t>This 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.</t>
              <t>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.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8446"/>
          <seriesInfo name="DOI" value="10.17487/RFC8446"/>
        </reference>
        <reference anchor="QUICTLS">
          <front>
            <title>Using TLS to Secure QUIC</title>
            <author fullname="M. Thomson" initials="M." role="editor" surname="Thomson"/>
            <author fullname="S. Turner" initials="S." role="editor" surname="Turner"/>
            <date month="May" year="2021"/>
            <abstract>
              <t>This document describes how Transport Layer Security (TLS) is used to secure QUIC.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9001"/>
          <seriesInfo name="DOI" value="10.17487/RFC9001"/>
        </reference>
        <reference anchor="DNSTLS">
          <front>
            <title>Usage Profiles for DNS over TLS and DNS over DTLS</title>
            <author fullname="S. Dickinson" initials="S." surname="Dickinson"/>
            <author fullname="D. Gillmor" initials="D." surname="Gillmor"/>
            <author fullname="T. Reddy" initials="T." surname="Reddy"/>
            <date month="March" year="2018"/>
            <abstract>
              <t>This document discusses usage profiles, based on one or more authentication mechanisms, which can be used for DNS over Transport Layer Security (TLS) or Datagram TLS (DTLS). These profiles can increase the privacy of DNS transactions compared to using only cleartext DNS. This document also specifies new authentication mechanisms -- it describes several ways that a DNS client can use an authentication domain name to authenticate a (D)TLS connection to a DNS server. Additionally, it defines (D)TLS protocol profiles for DNS clients and servers implementing DNS over (D)TLS. This document updates RFC 7858.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8310"/>
          <seriesInfo name="DOI" value="10.17487/RFC8310"/>
        </reference>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
        <reference anchor="RFC9325">
          <front>
            <title>Recommendations for Secure Use of Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS)</title>
            <author fullname="Y. Sheffer" initials="Y." surname="Sheffer"/>
            <author fullname="P. Saint-Andre" initials="P." surname="Saint-Andre"/>
            <author fullname="T. Fossati" initials="T." surname="Fossati"/>
            <date month="November" year="2022"/>
            <abstract>
              <t>Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS) are used to protect data exchanged over a wide range of application protocols and can also form the basis for secure transport protocols. Over the years, the industry has witnessed several serious attacks on TLS and DTLS, including attacks on the most commonly used cipher suites and their modes of operation. This document provides the latest recommendations for ensuring the security of deployed services that use TLS and DTLS. These recommendations are applicable to the majority of use cases.</t>
              <t>RFC 7525, an earlier version of the TLS recommendations, was published when the industry was transitioning to TLS 1.2. Years later, this transition is largely complete, and TLS 1.3 is widely available. This document updates the guidance given the new environment and obsoletes RFC 7525. In addition, this document updates RFCs 5288 and 6066 in view of recent attacks.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="195"/>
          <seriesInfo name="RFC" value="9325"/>
          <seriesInfo name="DOI" value="10.17487/RFC9325"/>
        </reference>
        <reference anchor="RFC5746">
          <front>
            <title>Transport Layer Security (TLS) Renegotiation Indication Extension</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <author fullname="M. Ray" initials="M." surname="Ray"/>
            <author fullname="S. Dispensa" initials="S." surname="Dispensa"/>
            <author fullname="N. Oskov" initials="N." surname="Oskov"/>
            <date month="February" year="2010"/>
            <abstract>
              <t>Secure Socket Layer (SSL) and Transport Layer Security (TLS) renegotiation are vulnerable to an attack in which the attacker forms a TLS connection with the target server, injects content of his choice, and then splices in a new TLS connection from a client. The server treats the client's initial TLS handshake as a renegotiation and thus believes that the initial data transmitted by the attacker is from the same entity as the subsequent client data. This specification defines a TLS extension to cryptographically tie renegotiations to the TLS connections they are being performed over, thus preventing this attack. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5746"/>
          <seriesInfo name="DOI" value="10.17487/RFC5746"/>
        </reference>
        <reference anchor="RFC7465">
          <front>
            <title>Prohibiting RC4 Cipher Suites</title>
            <author fullname="A. Popov" initials="A." surname="Popov"/>
            <date month="February" year="2015"/>
            <abstract>
              <t>This document requires that Transport Layer Security (TLS) clients and servers never negotiate the use of RC4 cipher suites when they establish connections. This applies to all TLS versions. This document updates RFCs 5246, 4346, and 2246.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7465"/>
          <seriesInfo name="DOI" value="10.17487/RFC7465"/>
        </reference>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="PQC" target="https://csrc.nist.gov/projects/post-quantum-cryptography">
          <front>
            <title>Post=Quantum Cryptography</title>
            <author>
              <organization/>
            </author>
            <date year="2017" month="January"/>
          </front>
        </reference>
        <reference anchor="CFRGSLIDES" target="https://www.ietf.org/proceedings/95/slides/slides-95-cfrg-4.pdf">
          <front>
            <title>Post Quantum Secure Cryptography Discussion</title>
            <author initials="D." surname="McGrew" fullname="David McGrew">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="PQUIPWG" target="https://datatracker.ietf.org/wg/pquip/about/">
          <front>
            <title>Post-Quantum Use in Protocols</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="uta" target="https://datatracker.ietf.org/wg/uta/about/">
          <front>
            <title>Using TLS in Applications</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="TRIPLESHAKE" target="https://mitls.org/pages/attacks/3SHAKE">
          <front>
            <title>Triple Handshakes Considered Harmful Breaking and Fixing Authentication over TLS</title>
            <author>
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="RENEG1" target="https://web.archive.org/web/20091231034700/http://www.educatedguesswork.org/2009/11/understanding_the_tls_renegoti.html">
          <front>
            <title>Understanding the TLS Renegotiation Attack</title>
            <author initials="E." surname="Rescorla" fullname="Eric Rescorla">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="RENEG2" target="https://web.archive.org/web/20091228061844/http://extendedsubset.com/?p=8">
          <front>
            <title>Authentication Gap in TLS Renegotiation</title>
            <author initials="M." surname="Ray" fullname="Marsh Ray">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="LUCKY13" target="http://www.isg.rhul.ac.uk/tls/TLStiming.pdf">
          <front>
            <title>Lucky Thirteen: Breaking the TLS and DTLS record protocols</title>
            <author initials="N. J." surname="Al Fardan">
              <organization/>
            </author>
            <author initials="K. G." surname="Paterson">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="LUCKY13FIX" target="https://nds.rub.de/media/nds/veroeffentlichungen/2016/10/19/tls-attacker-ccs16.pdf">
          <front>
            <title>Systematic fuzzing and testing of TLS libraries</title>
            <author initials="J." surname="Somorovsky" fullname="Juraj Somorovsky">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="CBCSCANNING" target="https://www.usenix.org/system/files/sec19-merget.pdf">
          <front>
            <title>Scalable Scanning and Automatic Classification of TLS Padding Oracle Vulnerabilities</title>
            <author initials="R." surname="Merget" fullname="Robert Merget">
              <organization/>
            </author>
            <author initials="J." surname="Somorovsky" fullname="Juraj Somorovsky">
              <organization/>
            </author>
            <author initials="N." surname="Aviram" fullname="Nimrod Aviram">
              <organization/>
            </author>
            <author initials="C." surname="Young" fullname="Craig Young">
              <organization/>
            </author>
            <author initials="J." surname="Fliegenschmidt" fullname="Janis Fliegenschmidt">
              <organization/>
            </author>
            <author initials="J." surname="Schwenk" fullname="JÃ¶rg Schwenk">
              <organization/>
            </author>
            <author initials="Y." surname="Shavitt" fullname="Yuval Shavitt">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="BEAST" target="http://www.hpcc.ecs.soton.ac.uk/dan/talks/bullrun/Beast.pdf">
          <front>
            <title>Here come the xor ninjas</title>
            <author initials="T." surname="Duong" fullname="Thai Duong">
              <organization/>
            </author>
            <author initials="J." surname="Rizzo" fullname="Juliano Rizzo">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="WEAKDH" target="https://dl.acm.org/doi/pdf/10.1145/2810103.2813707">
          <front>
            <title>Imperfect forward secrecy: How Diffie-Hellman fails in practice</title>
            <author initials="D." surname="Adrian">
              <organization/>
            </author>
            <author initials="K." surname="Bhargavan">
              <organization/>
            </author>
            <author initials="Z." surname="Durumeric">
              <organization/>
            </author>
            <author initials="P." surname="Gaudry">
              <organization/>
            </author>
            <author initials="M." surname="Green">
              <organization/>
            </author>
            <author initials="J. A." surname="Halderman">
              <organization/>
            </author>
            <author initials="N." surname="Heninger">
              <organization/>
            </author>
            <author initials="D." surname="Springall">
              <organization/>
            </author>
            <author initials="E." surname="ThomÃ©">
              <organization/>
            </author>
            <author initials="L." surname="Valenta">
              <organization/>
            </author>
            <author initials="B." surname="VanderSloot">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="FREAK" target="https://inria.hal.science/hal-01114250/file/messy-state-of-the-union-oakland15.pdf">
          <front>
            <title>A messy state of the union: Taming the composite state machines of TLS</title>
            <author initials="B." surname="Beurdouche" fullname="Benjamin Beurdouche">
              <organization/>
            </author>
            <author initials="K." surname="Bhargavan" fullname="Karthikeyan Bhargavan">
              <organization/>
            </author>
            <author initials="A." surname="Delignat-Lavaud" fullname="Antoine Delignat-Lavaud">
              <organization/>
            </author>
            <author initials="C." surname="Fournet" fullname="CÃ©dric Fournet">
              <organization/>
            </author>
            <author initials="M." surname="Kohlweiss" fullname="Markulf Kohlweiss">
              <organization/>
            </author>
            <author initials="A." surname="Pironti" fullname="Alfredo Pironti">
              <organization/>
            </author>
            <author initials="P.-Y." surname="Strub" fullname="Pierre-Yves Strub">
              <organization/>
            </author>
            <author initials="J. K." surname="Zinzindohoue" fullname="Jean Karim Zinzindohoue">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
        <reference anchor="SLOTH" target="https://inria.hal.science/hal-01244855/file/SLOTH_NDSS16.pdf">
          <front>
            <title>Transcript collision attacks: Breaking authentication in TLS, IKE, and SSH</title>
            <author initials="K." surname="Bhargavan" fullname="Karthikeyan Bhargavan">
              <organization/>
            </author>
            <author initials="G." surname="Leurent" fullname="GaÃ«tan Leurent">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
        </reference>
      </references>
    </references>
    <?line 287?>

<section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>None yet.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA71ay3bbSHre11NU1It055CgqIsv8vR009S1LUuyKI/Hk5PT
pwgUyWoBKE4VIIrW8Sovkm1O9nmAyYvl+/8CQIKS3e1Foo3IAqr++/dfit1u
VxSmSPWB3LrQC3nlbGFjm3r5tvSFvNZ/L43T8uZ8JPvR7pZQ47HTd3jZhSfd
IvX8IFaFnlq3PJAmn1ghEhvnKsOxiVOTomt0MemWhequ79vtbm8LX44z472x
ebGc4/2zo5tjkZfZWLsDkeDUAxHb3Ovcl/5AFq7UAvR3hXJagY+RjktniuWW
WFh3O3W2nGP1vTf5lLk2uRzM56kBfyDht8StXuLN5EDILr1A/yZaFaXTXtzp
vAQ9Kf/AOVIGfrc+gC69dUJ7aD1TJsU6pP2ZxI6sm9Ly1BSzckyqM/HMq/RT
L6im9JU2toRQZTGzkLuL9ydlmgYVXmODHGEHVnGYys0n5uJADm4VqMkbHc9y
m9qpgRBS6sCBIyI/K34lim22ceqFyZxN5ODOOJWtduW8HCle/nlKi7xZ5NZl
IHvHCoJK+jvg7Hi4v7P3rFrY5YUXe7zw7v3ZEIu89HJ7u4+lw4tRvfJit78t
BLnK2qFX74b0D5pVbqqLAzkrirk/6PVi7+IoN76IpvauN3f2Nx0Xvje3vuj+
vVR5UWbd2C3nhZ06NZ8t+RD2Hbn1i8pL5ZYdubPdf74Vjg8Of4XtP74L2+Ww
vX14fH0yOj87PBo9zdFisYhq4xJDsdYJnMD3Xu73fGoS7at/3Zf73Xjipt29
aJ5MNsnLmjy7sW5xIQ+Nj0uODN5W+4bkP5MjGg4j+TY+cXpRLQbDHsJ2yerB
FSxx9eHkaTmgJFU4Fd9qt5JnAZEQpfOeGtuy6G0y3a2Zfu81xUWDGXgRTv9t
hLDhCTJfjDvytOuzq/Oj0engzdHTpDKc4YNh1BSGUEUBur63y3vWydw4M0+1
PFV54mfqVns5BA2YzekEqy5DtMjXABoOcLwlj809fRzAFjovKq6kvdMugIm8
Pro4OukftITJcaAvsJ22YiMLdq1zAGZhwgkD5vEJOweTHgEzsMPH1qXqaYfU
40i5eIZQCqrV497O9vbL/g4ibXfv+fZ2j16tXFcnJQF2Mi219wScvIfe7/X7
vXKd4V/B8K9Q6K+uYjiaFVlaS7rTknRDLSdqTvZ7JO0TYnYrQd8q52fyWi2/
UcidF9vP+kCeWkh9X2hIkSC7eF0QgPV+mv/4Aqeevx+++QioWud767yMb5fy
ZmZcoTVwtbF5bS2y/SF9cBo2SOS89vmtR4zW6OCnkZuVaaTiqLztQYM97C9M
hmMbKNhUAkf1RSR/ieQglcfKJSpvP3wTyZNIXsF4zrMmK3mOz/7aFmm09IUm
bI2B+Z8+1Q5caF/QZzthuVIzdsohbTyWgxSOuIhcOY4S3csAcIoWenB2qycT
GBphOSvzqc5hhf6zXn+7139JknZDyGnXjWPff/YFcYPFfymd+k2ObGadvfO3
DL6vh6Ph4OLi7OKkJdMoVqkaI2DxIc9rieB0Nsg5TBXgctJEZRDxSiUceJdA
H+z9S5nm2qmxSU0R0uXT6I60nJt7djPPquxNTEqwruP+y26maccX7VjlbYsi
ppBv+d2NZ0+Ivf54MzmvPxs6Zabyo4XmNw9FaeDlcWo0bOLjWWaSR3T/59//
8d9uChXOFjq/3Xj6sbxTqRzNkEEK2vn6aDC6afvVKcBRIp40x8a9dagY8t/U
lwNhNo/jSMc+8giZvAoH+HWvUClQeYyCxJV577VW/vcUejNDsXNY2seCl6lR
uUWl9OmTxbMPR4M3h6dtxs+yuXYTFA4SRccCoSVhSoQzStZTu0C2nUyM7p7q
NM1ULieoezyh1xxuA+fSTwdIQvGdsZck1vTAPqIg6vf39ns7L/rbgN4I/3ef
bz//crwjiw8SZ56I9NczkFN3m0/+FkEJroQPmrj95ArooMrELdvLb7HsAGzt
VQKZ6FSlAPtskwQw6FRTiGn3iNnR3OGBStP2k6MI9rEZ/Os/2w/OI/kXlQIu
VHv9Na1Tqhml1pK3HV/DbG2jDWSGDLWUyEaFpogmpytzLn5vVFZDNPwRxaDB
K+HFTCFJ5MjnAQOetp3JofRoptLIx0bnse7hc3e7D+vt7G9zuPeYepcP7dpJ
F7S6TL1r1W0K5vv7v+OyrzWCA3ziQ+kSW8YzvfHGG+WKmUFbAq97bPDwziAv
LOSRhzo101wV3XO8VCabwEC6T6hUOLalyx9hDpLrbZlO5Bs7SxcaTdcmlXSC
wsfKK+PQjZmNp1dGOzRuH++g1hH6sPFmDGoIAGFMJv9mciScxM5sSdKOzi9v
NoLxxikAFMqvArZLU0NVrqwKtbX0q9oFRSgmOvLszVGHsX80Ov022+7s7b3Y
3w+2ZbZ+vTgcjb6Yor7FRicK6v8vVE3yHKYG10J0u12pxp7qXnwLTfSONIwr
C+oO5hA0kUg1LA2ymhyTM+cTMy2pBvXwFzi4KqQpqOa4o01yam0ifNX40jKA
jXJZVPfpREKl3oKOeILOxNzjFE8YfpvbRS4TjaRJasIhYKyYVQftdAIHygun
M1CHSeAE1nVBFO641nPB6QALKL0N+QdRwXH0mPYgyTXBC2UAaGMB7mrBwG1u
C0k8cnofLyUaAq7DfSTEyMB+jWgkhPFr6uvIXC9WBZnMaHBRjRmIEYGiAFgJ
Ql7qezSR5A6RQLHnsUsHLyTvSqwOjJA6FUxU2FDzfY/PKl+GL6h+yFl/eMUm
CW96vMrmtXm6jILdkXuTVAvxnTzLC+TyMmYiD9/BcF3wjerNf145xcMDt9Sf
P/9fugfynAb/Hexh4YPKapFwHKo65+XE2QzJEcsqFeu+cSBEP5IfZogeqVZd
mUzVEg1QZdngfAu19LULaNgoo263coFZ3W8Jglfq0aSCrUj1zQ5KJqg0kKp1
hzfBu+5UvKzFTIgMqnsL22UI82BPIr2SCwhX6qAfKhhxPNSHahBG9zgAblbr
ksWA4XaYLKriwOwX/dvPdYxCE4eAwYq9QLQjxxbxY3Ka64iNkEg0LMqNFzxF
+w5ei9OSbFZpe50G872gakshVkuHGAAxcdeuX/Gas+UUSFswH0uNDqoJW3k9
GkjAFhw/htan0CWKaxmbOZSLl5AxfUcQa+AfoVf1CybHgy7kS5PNuognY3Kt
mas037jJEsl32VZ0xWLlim2lv5KzyimFvsdTBmvpsVhpoPU2ogq5+LZyGGT9
zOYdqdkcKEiWcoF0AZedp3ZJwLM+FIrESGvEGcVfXLX5YaiAoCMzajQXtnGF
3eAK1pmpydkytYGV7xqoeAUXwSNlE3IPD2EK8PlzR1SfEdgdivHV7OLz5wh9
LkyGcGQo5paV4jAIVyFYQihUUWiCGuyd5aQZhJwvOg02BhDZDSDyuwmAQ/IP
J4Cvw7n8g3DOgNzkEubgi0EWr2YxCfkunAgYhjLeAnTRfC5ZcEGCo8iywBv4
MIH/OvbZSQi9Bh0RCXBlpOfVa2xQ6DQ4so2RLehxFePBD6GIb0pDYjMNyf//
NPQdjbPuqH5ip6IRhubY5kmaIPcmbKBxuJdbb9+PbrY64b+8uOTP10fv3p9d
Hx3SZ3jt+XnzQVRvjE4v358frj6tdg4v3749ujgMm7EqW0ti6+3g41ao4rYu
r27OLi8G51uU+YqWFSgUoIAxTRoL7aApQk/4Y8IqG1MiQE02vPrHf/T3EAD/
dH083On3XyIGwpcX/ed7+ELAEKiRcqqvcOClQCIDZtIpQBAkirlBY+opzBmG
ckl5CNr8l38lzfzbgfzTOJ739/5cLZDArcVaZ61F1tnjlUebgxKfWHqCTKPN
1vqGptv8Dj62vtd6X1v8008pNRrd/ouf/iy4eslW01eGyfWpewtghRiuhzLh
MQqdVKNULkSzAZ1aScMr+f3w+t3whw7sgbBCPW14ttNBSMEMM3VHeW9WTmH4
bI76Ge9R8EWEfDRtClXB+5G8YN6A0Ge5R3tRhj5xRONLRY5NNm8uSLiTdOxC
iNC0MF1KmFJPIFlBjuarfeYT6KdTwH8xy+pkTJzBE7e8mugtwYw/los8doL6
zhD2PTxcvRsS1B8bBzygyy2ZNHN9DznhfblGkQp0o/EcZPKKhismo92rewgc
IkQovegltFcAGLdkEFKGcZmsc3EGl4QcFOd+tiYOa4mVJpiLmVpVHUF8L3nw
i8otEgNCBW7BQsJfKDZ+FsINKkMMwQq7RIreJOsQJELzEJjeYSINHFIirC4i
SJBRRdhS/muTaqqi+gbg4aEsFKVSUmz9qkWWp9szzzYr55QT5Gw5diZZNxvZ
HggNBASQU11EKiI+k9JxfykKakQZEUPZG/MMMaZjVdvVQTpNYINj68LNBGc6
U6cj2gHUrupNMtEEGOarPAmStZKxqUoiAielNMmNmjbgw1kABXKzSiyo/HvP
lYtRORTxw6rWpR6Mk3HoJ1i6djMEppDbFTydPlZ0OwR/DtXplyKZzqZqLC5C
/bHODOcVOohuf5DaL9mEqzsgMUCKWmciKARKD3IzZobcSpmX82HNYp1cv4cc
CH4zxdFiLdsx4zmLPdY0g/Tk4FW4JlAM2UbfK0AWgIRuIKG16iISOaDKxo3+
2T3aaR6VRDK3SDVeMKMwTobyr9DVmCnPdejjzAS7paXhWdM/QWsQkzR0NpGh
COUc1q42GSAULcba5Z1W9yCB0I1yap9AsgMpmmIHoEOlYfNurTM7DwXrwPOh
JWXJlQ4YI6nFIgvR1IN95PBi1NxZQUPhXhYKanQhVrT5iIoY6Z97Pyotge92
UQcptBm0D8tTZxEOqtNGKORn1nq9Hq9NjVnM6AlyO9pPKotYRyI4niOo8JXf
1bf9zT1dRSB01RtV/aq5JvRatWxc39bQ99URBmoMM82JcwOmBIvBmQnxVwBj
OMfhSx6qVHLlpkTn7mFeurn1VbFs+GlReQpKNaCVnuAAX7o71GE1S1xxwyPg
eOQ9VWdWaTEkxsmkis0130FmLKhiKdG0jbmbpr57tmr5VaPxp0YJfAGdLl8F
XENnTt9kRrwwxCTUB8YVkDQb6e16KzmLnZO8DBol3+FCJyKz0A+NF2Jo0VvX
NCyRDC0Z1Wkvd3f2q0ZMBYo0iOO+cVpSe2VzTl6B2np4Vfc8kIvQmfIstQb1
zR2Ju+rdyPbUKlMd3TRcMkR8h8xSt9eUZq2gQ1zrojbMKMNVGlHYuEGunkfy
tbMqqfjw9bKnHje1pmgZ7p99ExEkfZseMinKc5quUDNHv3vgCQfq+HsRU9jk
BMJ0XH3nRoWyDQRSRUXzPUxUIENk5JMhcZS+ZNdV0OOdovE2bAVp8VaxfulR
uQ2HOlJCNI2kHVOrQabl6xNCN3tL8EkFtFzoMdYLOi4S1xTPxPhaQyy/0hA/
6sJR0skUWYBszLbAozvdRESncp3953vP1tGLkHllXJZgTjCSU7kADTQ/ViLX
qSwD3diVJwfvWgGUNpzl2qbhDm+sBeo58heaeBaGtqOmdSHeV1xUL3Orh/fo
yqfGc9oQp4bZo9cENX+scjDkCP1IhyvaVS6ioR5D7KqaWUtQNDdFisxrH1wN
MtbHQTLTiIfk6wMtGm+nS7E5SqomCTQqkk+NijrVPLE9TlxodZvTWAgaR8oa
1xO+x8pvMxHCaJ2+qHmvVVvbYc3xwi+s7NjbFH1j91bfb/qY/P7m8vBSnkn+
KQT8N1T5wAfUwYIqa97x4eR8yB8en0jjG6CtpJ+ocXorNNWEyhnI4mpOCLp4
b/QDDxocG8YvM0hBNzZhJOcpwQJxeexHswW0UFRShL74sVHk9XCPx3ePp3pP
aV+uax9bWxPfGpvCzMYoH2KakhqpPUDIK+kbxEbU7VNr84g2Jykx1jpfjS4R
aX9kcgmnIEqKgr66phWGShlC+uZaPzhDm6bJqaalsVB7jk1H8887qFnhX1+I
CsMfHqrfTpAQlK0n3KPhKQzIaa6hHCJugx7/LjGU/tSsmWrMT70l8AdwE9IY
6163pF+uaB+f/ZUaIh52h+TOepuUjhHHg+MUDerXdSdYd7IyIEHBI5u8Wrki
wzhay9WvLD5/Fpx387pwDAOrujCBxms+qP+iUdkAz9EpcaZtFUOtapbqrqZW
Ga8qnND2VcjLAC3Wbq5MlpU5RdKB4N8fgFf+Txnj3E5/UxlWwg0/LfGtMVb4
Py3wxSDd7WGR/3Pr/J08G1wMHheO3FRtzv4ynjHnllsG7UObSfury50x/VgL
Rw5imp8Cc6a0zYuHg/DLVZ38uDVBlay3cPQF9StLXUTifwGvZgZTbisAAA==

-->

</rfc>
