<?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-rsalz-uta-require-tls13-01" category="info" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.20.1 -->
  <front>
    <title abbrev="require-tls1.3">New Protocols Must Require TLS 1.3</title>
    <seriesInfo name="Internet-Draft" value="draft-rsalz-uta-require-tls13-01"/>
    <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="03"/>
    <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-rsalz-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:
H4sIAAAAAAAAA71a23bbOJZ9x1dgXA+TmiVRli+5OF1dpcjXiuM4ltPp9KxZ
tSASklAmCTVAWla88i/z2qvf+wOmfmz2OSApUXZSlYcZv1gCCZz7Pheo2+2K
whSpPpBbF3ohL50tbGxTL9+UvpBX+u+lcVpen49kP9rdEmo8dvoWL7vwpFuk
nh/EqtBT65YH0uQTK0Ri41xlODZxalJ0nVfpp25ZqO76xt3udl/4cpwZ743N
i+UcG86Oro9FXmZj7Q5EgmMPRGxzr3Nf+gNZuFILMLArlNMKjIx0XDpTLLfE
wrqbqbPlHKvvvcmnzLbJ5WA+Tw0YBAm/JW70Em8mB0J26QX6N9GqKJ324lbn
JehJ+QfOkTLwu/UBdOmtE9pD65kyKdYh7U9GF5PIuiktT00xK8ekOxPPSB+9
oJvSV9rYEkKVxcxC7i7en5RpGnR4hQ1yhB1YxWEqN5+YiwM5uFGgJq91PMtt
aqcGQkipAwes9J8UvxLFNts49cJkziZycGucyla7cl6OFC//NKVF3ixy6zKQ
vWUFQSX9HXB2PNzf2XtaLezywvM9Xnj3/myIRV56sQ1DS3l4MapXnu/2t4Ug
X1k79PLdkP5Bs8pNdXEgZ0Ux9we9XuxdHOXGF9HU3vbmzv6q48L35tYX3b+X
Ki/KrBu75bywU6fmsyUfwr4jf1Z5qdyyI3e2+8/C4cHfL7H5h3dhsxy2Nw+P
r05G52eHR6PH+VksFlFtWmIn1jqBC/jei/2eT02iffWv+2K/G0/ctLsXzZPJ
JnlZk2cn1i0u5KHxcclxwdtqz5D8Z3LEwmEk38QnTi+qxWDWQ1guWT24hB0u
P5w8LgdUpAqn4hvtVvIsIBJidN5TY1sWvU2muzXT772mqGggAy/C5b+NEDY8
QuaLUUd+dnV2eX40Oh28PnqcVIYzfDCMmsIQqihA1/d2ec86mWtn5qmWpypP
/EzdaC+HoAGzOZ1g1WWIFfkKMMPhjbfksbmjjwPYQudFxZW0t9oFKJFXRxdH
J/2DljA5DvQFttNWbGTBrnQOvCxMOGHAPD5i52DSIyAGdvjYulQ97pB6HCkX
zxBIQbV63NvZ3n7R30Gc7e49297u0auV6+qkJLxOpqX2nmCT99D7vX6/V64z
/AsY/gUK/cVVDEezIktrSXdakm6o5UTNyX4PpH1EzG4l6Bvl/ExeqeU3Crnz
fPtpH7hTC6nvCg0pEuQWrwuCr96P8x+e49Tz98PXHwFU63xvnZfxzVJez4wr
tAaqNjavrUW2P6QPTsMGiZzXPr/1gNEaHfw0crMyjVQclTc9aLCH/YXJcGwD
BZtK4Ki+iOTPkRyk8li5ROXth68jeRLJSxjPedZkJc/x2V/bIo2WvtCErDEQ
/9On2oEL7Qv6bCcsV2rGTjkkjYdykMIRF5Erx1GiexkATtFCD85u9WQCQyMs
Z2U+1Tms0H/a62/3+i9I0m4IOe26cez7T78gbrD4z6VTv8qRzayzt/6GwffV
cDQcXFycXZy0ZBrFKlVjBCw+5HktEZzOBjmHqQJcTpqoDCJeqoQD7y3QB3v/
Uqa5dmpsUlOEZPk4uiMp5+aO3cyzKnsTkxKs67j/optp2vFFO1ZZ26KEKeQb
fnfj2SNirz/eTM3rz4ZOman8aKH5zUNRGHh5nBoNm/h4lpnkAd3f/uWmUOBs
ofObjWcfy1uVytEM+aOgfa+OBqPrtledAholoklzZNxZh2oh/1V9OQxm8ziO
dOwjj4DJq2CAV/cKlQKTxyhGXJn3Xmnlf0+d1zMUOoelfSh2mRqVW1RJnz5Z
PPtwNHh9eNpm/CybazdB0SBRcCwQWBKGRDCjXj21C+TaycTo7qlO00zlcoKa
xxN2zeE0cC39eHgkFN0Z+0hiTQ/sIwaifn9vv7fzvL8N4I3wf/fZ9rMvRzty
+CBx5pE4fzUDOXW7+eRvEZTgSnigidtPLoENqkzcsr38BssOsNZeJYiJTlUK
qM82SQCBTjUFmHYPmB3NHR6oNG0/OYpgH5v99o/28nkk/6JSQIVqr7+idUoz
o9Ra8rXjKxitbbKBzJCdlhKZqNAUzeRyZc5l77XKaniGN6IMNHglvJgpJIgc
uTzE/+OWMzlUHs1UGvnY6DzWPXxGMwLb7exvc6j3mHqXD+3aSRe0uky9a9VN
Cub7+7/jsK80QgN84kPpElvGM73xxmvliplBQwKfe2ju8M4gLyzkkYc6NdNc
Fd1zvFQmm6Dw2z8SKhKObenyB2iDtHpTphP52s7ShUaztUkjnaDksfLSOHRh
ZuPppdEODdvHWyh1hP5rvBl/GuxDFJPJv5kcqSaxM1uSrKPzt9cbgXjtFKAJ
hVcBy6WpofpWViXaWuJV7VIilBEdefb6qMOoPxqdfptld/b2nu/vB8syW79c
HI5GX0xO32KhE/XbP1EtyXOYGTwL0e12pRp7qnfxLfTOO9IwoiyoK5hDzEQi
xbAsyGZyTI6cT8y0pNrTw1fg3KqQpqBa45Y2yam1ifBVu0vLgDTKYVHdnhMJ
lXoLOuIROhNzh1M8ofdNbhe5TDSSJSkJh4CxYlYdtNMJHCgvnM5AHQaBC1jX
BVG44lqnBZcDIKDkNuQdRAXH0WPag+TWBC6UAYiNBbirBQO3uS0k8chpfbyU
aAS4/vaRECMD6zWikRDGr6mvI3O9WBViMqN5RTVcIEYEigGgJAh5qe/QOpIz
RAJFnscuHXyQfCuxOjBC6lQwUWFDrfcEn1W+DF9Q9ZCrfv+STRLe9HiVzWvz
dBkFuyPnJqkW4jt5lhfI4WXMRO6/g+G64BtVm/+8cor7e26kP3/+v3QPZDgN
/jvYw8IHldUi4ThUc87LibMZ0iKWVSrWfeNAiH4kP8wQO1KtujGZqiUan8qy
wfkWaulrF9CwUUZdbuUCs7rPEgSt1JtJBVuR6psdlEZQYyBJ6w5vgnfdqnhZ
i5kQGVT1FrbLEOTBnkR6JRfwrdRBP1Qo4nioD1UgjO5xANys1iWLAcPtMFlU
w4HZL/q3n+sYBSYOAYMVe4FoR44t4sfkNM0RGyGRaFiUGy54ivYdvBanJdms
0vY6DeZ7QXWWQqyWDjEAYuK2XbfiNWfLKXC2YD6WGp1TE7byajSQAC04fgyt
T6FLFNUyNnMoFy8hW/qOINbAP0Kv6hNMjgddyJcmmxURz8PkWhNXab5xkyUS
77Kt6IrFyhXbSn8pZ5VTCn2HpwzV0mOx0kDrbUQV8vBN5TDI+JnNO1KzOVCK
LOUCyQIuO0/tkoBnfRQUiZHWiDOKv7hq78MwAUFHZtRoKmzjCrvBFawzU5Oz
ZWoDK981UPEKLoJHyibk7u9D9//5c0dUnxHYHYrx1czi8+cI/S1MhnBkKOZW
leIwCFchWEIoVFFoghrsneWkGYScLzoNNgYQ2Q0g8rsJgEPyDyeAr8O5/INw
zoDc5BLm4ItBFq9mMAn5LpwIGIYC3gJ00XQuWXBBgqPAssAb+DCB/zr22UkI
vQYdEQlwZaTn1WtsUOg0OLKNkS3ocRXjwQ+hiG9KQ2IzDcn//zT0HY2xbql6
Yqei0YXm2OYJmiD3JmygIbiXW2/ej663OuG/vHjLn6+O3r0/uzo6pM/w2vPz
5oOo3hidvn1/frj6tNo5fPvmzdHFYdiMVdlaEltvBh+3Qg239fby+uztxeB8
izJf0bIChQIUMKYJY6EdNEXoCX9MWGVjSgSoyIaX//Pf/T0EwL9dHQ93+v0X
iIHw5Xn/2R6+EDAEaqSc6isceCmQyICZdAoQBIlibtCSegpzhqFcUh6CNv/j
P0kz/3Ug/zSO5/29P1cLJHBrsdZZa5F19nDlweagxEeWHiHTaLO1vqHpNr+D
j63vtd7XFv/0Y0pNRrf//Mc/C65estXUlWFyfdbeAlghhuuhTHiMQifVKJQL
0WxAl1bS0Eo+GV69G37fgT0QVqimDc90OggpmGGmbinvzcopDJ/NUT/jPQq+
iJCPpkyhKng/khfMGxD6LPdoLsrQI45obKnIscnmzbUId5GOXQgRmhamSwlT
6gkkK8jRfLXPfAL9dAr4L2ZZnYyJM3jillcTvSWY8YdykcdOUN8Zwr77+8t3
Q4L6Y+OAB3SlJZNmnu8hJ7wv1yhSgW40loNMXtFYxWS0e3X/gEOECKUXvYTm
CgDjlgxCyjAuk3UuzuCSkIPi3M/WxGEtsdIEczFTq6ojiO8lD3xRuUViQKjA
DVhI+AvFxs9CuEFliCFYYZdI0ZtkHYJEaB4C0ztMpIFDSoTVBQQJMqoIW8p/
bVJNVVRP/u/vy0JRKiXF1q9aZHm6M/Nss3JOOUHOlmNnknWzke2B0EBAADnV
RaQi4jMpHXeXoqA2lBExlL0xzw5jOla1XR2k0wQ2OLYu3EhwpjN1OqIdQO2q
3iQTTYBhvsqTIFkrGZuqJCJwUkoT3KhpAz6cBVAgN6vEgsqfeK5cjMqhiO9X
tS71YJyMQz/B0rWbITCF3K7g6fSxotsh+HOoTr8UyXQ2VWNxEeqPdWY4r9BB
dOuD1P6WTbi6+xEDpKh1JoJCoPQgN2NmyK2UeTkf1izWyfUJ5EDwmymOFmvZ
jhnPWeyxpumjJwevwjWBYsg2+k4BsgAkdO8IrVXXj8gBVTZu9M/u0U7zqCSS
uUWq8YIZhXEylH+FrkZMea5DH2cm2C0tjc2a/glag5ikobOJDEUo57B2tckA
oWgx1i7vtLoHCYRulFP7BJIdSNH0OgAdKg2bd2ud2XkoWAeeDy0pS650wBhJ
LRZZiGYe7COHF6PmrgoaCrexUFCjC7GizUdUxEj/3PtRaQl8t4s6SKHNoH1Y
njqLcFCdNkIhP7PW6/V4bWrMYkZPkNvRflJZxDoSwfEcQYWv/K6+42/u5yoC
oaveqOpXzTWh16pl4/q2hr6vjjBQY5hpTpwbMCVYDM5MiL8CGMM5Dl/yUKWS
KzclOncP89LNra+KZcNPi8pTUKoBrfQEB/jS3aIOq1niihseAccj76k6s0qL
ITFOJlVsrvkOMmNBFUuJpm3M3TT13bNVy68ajT82SuCL53T5MuAaOnP6JjPi
hSEmoT4wroCk2Uhv11vJWeyc5GXQKPnuFjoRmYV+aLwQQ4veuqZhiWRoyahO
e7G7s181YipQpDEc943Tktorm3PyCtTWw6u634FchM6UZ6k1qG/sSNxV70a2
p1aZ6uim4ZIh4jtklrq9pjRrBR3iWhe0YUIZrtCIwsbNcfU8kq+cVUnFh6+X
PfW4qTVFy3D/7puIIOnb9JBJUZ7TdIWaOfq1A084UMffiZjCJicQpuPquzYq
lG0gkCoqmu9gogIZIiOfDImj9CW7roIebxWNtmErSIu3ivXrjsptONSREqJp
JO2YWg0yLV+cELrZG4JPKqDlQo+xXtBxkbiieCbG1xpi+ZWG+EEXjpJOpsgC
ZGO2BR7d6iYiOpXr7D/be7qOXoTMK+OyBHOCkZzKBWig+Y0SuU5lGejGrjw5
eNcKoLThLNc2DXd4Yy1Qz5G/0MSzMLQdNa0L8b7ionqZWz28R5c9NZ7Thjg1
zB69Jqj5Y5WDIUfoRzpc0a5yEQ31GGJX1cxagqK5KVJkXvvgapCxPg6SmUY8
JF8faNFwO12KzVFSNUmgUZF8bFTUqeaJ7XHiQqubnMZC0DhS1rie8D1UfpuJ
EEbr9EXNe63a2g5rjhd+V2XH3qboG7s3+m7Tx+ST67eHb+WZ5J9AwH9DlQ98
QB0sqLLmHR9Ozof84eGJNL4B2kr6YRqnt0JTTaicgSyu5oSgi/dG3/OgwbFh
/DKDFHRfE0ZynhIsEJfHfjRbQAtFJUXoix8aRV4N93h893Cq95j25br2sbU1
8a2xKcxsjPIhpimpkdoDhLyUvkFsRN0+tTYPaHOSEmOt89XoEpH2RyaXcAqi
pCjoqwtaYaiUIaRvrvODM7RpmpxqWhoLtefYdDT/rIOaFf7Vhagw/P6++s0E
CUHZesI9Gp7CgJzmGsoh4jbo8a8RQ+lPzZqpxvzUWwJ/ADchjbHudUv65Yr2
8dlfqSHiYXdI7qy3SekYcTw4TtGgfl13gnUnKwMSFDywycuVKzKMo7Vc/bri
82fBeTevC8cwsKoLE2i85oP6LxqVDfAcnRJn2lYx1Kpmqe5qapXxqsIJbV+F
vAzQYu3mymRZmVMkHQj+5QF45f+UMc7t9FeVYSXc7dMS3xhjhf/TAl8L0s0e
Fvk/t87fybPBxeBh4chN1ebsL+MZc265ZdA+tJm0v7rcGdOPtHDkIKb5KTBn
Stu8uD8Iv1fVyQ9bE1TJegtHX1C/stRFJP4XQwpfPmUrAAA=

-->

</rfc>
