<?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.6.35 (Ruby 2.6.10) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-rsalz-tls-tls12-frozen-01" category="info" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.17.3 -->
  <front>
    <title abbrev="tls1.2-frozen">TLS 1.2 is Frozen</title>
    <seriesInfo name="Internet-Draft" value="draft-rsalz-tls-tls12-frozen-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="2023" month="June" day="19"/>
    <area>Security</area>
    <workgroup>Transport Layer Security</workgroup>
    <keyword>TLS</keyword>
    <keyword>features</keyword>
    <abstract>
      <?line 131?>

<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>Both versions have several extension points, so items like new cryptographic
algorithms, new supported groups (formerly "named curves"),  etc., can be
added without defining a new protocol. This document specifies that TLS 1.2
is frozen: no new algorithms or extensions will be approved.</t>
      <t>Further, TLS 1.3 use is widespread, and new protocols should require and
assume its existence.</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-tls-tls12-frozen/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        Transport Layer Security Working Group mailing list (<eref target="mailto:tls@ietf.org"/>),
        which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/tls/"/>.
        Subscribe at <eref target="https://www.ietf.org/mailman/listinfo/tls/"/>.
      </t>
      <t>Source for this draft and an issue tracker can be found at
        <eref target="https://github.com/richsalz/tls12-frozen"/>.</t>
    </note>
  </front>
  <middle>
    <?line 147?>

<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>While application layer traffic is always encrypted, most of the handshake
messages are not encrypted. Therefore, the privacy provided is suboptimal.</li>
        <li>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.
See <xref target="sec-considerations"/> for elaboration.</li>
        <li>The original protocol, as-is, does not provide security (cite Renegotiation
attack). Rather, some extensions are required to provide security.</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>Both versions have several extension points, so items like new cryptographic
algorithms, new supported groups (formerly "named curves"),  etc., can be
added without defining a new protocol. This document specifies that TLS 1.2
is frozen: no new algorithms or extensions will be approved.</t>
      <t>Further, TLS 1.3 use is widespread, and new protocols should require and
assume its existence.</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>Quantum computers, 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="TLSWG"/>,
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 is WILL NOT be supported (see <xref target="iana"/>).</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 TLS 1.3 as its default.
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"/>, <xref target="LUCKY13FIX"/>. The first attempt to implement the cipher suites in
constant time introduced an even more severe vulnerability.
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>IANA will stop accepting registrations for any TLS parameters <xref target="TLS13REG"/>
except for the following:</t>
      <ul spacing="normal">
        <li>TLS Exporter Labels</li>
        <li>TLS Application-Layer Protocol Negotiation (ALPN) Protocol IDs</li>
      </ul>
      <t>Entries in any other TLS protocol registry should have an indication like
"For TLS 1.3 or later" in their entry.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <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="TLS13REG">
          <front>
            <title>IANA Registry Updates for TLS and DTLS</title>
            <author fullname="J. Salowey" initials="J." surname="Salowey"/>
            <author fullname="S. Turner" initials="S." surname="Turner"/>
            <date month="August" year="2018"/>
            <abstract>
              <t>This document describes a number of changes to TLS and DTLS IANA registries that range from adding notes to the registry all the way to changing the registration policy. These changes were mostly motivated by WG review of the TLS- and DTLS-related registries undertaken as part of the TLS 1.3 development process.</t>
              <t>This document updates the following RFCs: 3749, 5077, 4680, 5246, 5705, 5878, 6520, and 7301.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8447"/>
          <seriesInfo name="DOI" value="10.17487/RFC8447"/>
        </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>
        <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="TLSWG" target="https://datatracker.ietf.org/wg/tls/about/">
          <front>
            <title>Transport Layer Security</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 293?>

<section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>None yet.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAOxrkGQAA+1a2XLbyHq+76focC5ipwhQ1OJFc+bMULvGsiSL8nF8Uqmp
JtAkewSgOd2AJNrld8ntqdznATIvlu//GyAJip7lIpWbuMolsNHLv37/0oii
SJSmzPS+7NxeDGU/3pbGyxNnP+miI9Ro5PQ93pWZx6toXI8nqtQT6+b70hRj
K0Rqk0Ll2CR1alxGzqvsU4Q19L/fLIu2+sJXo9x4b2xRzmeYf358eyKKKh9p
ty9S7LovElt4XfjK78vSVVrg+B2hnFYgY6iTyply3hEP1t1NnK1mRLhThZ9Z
V8oLNddOLmfd6TkmpvtCRhLs0Z+xVmXltBf3uqhwnJS/v42UgdrOB5xqiok8
pSU0niuTBfH8YHQ5jq2b0PDElNNqhBfOJFMSRm9VEB0hVFVOLViOMHlcZVmQ
3g1myyGmYxQ7qcJ8UiVktS8HdwpHyVudTAub2YkBA1LqcDyL+wfFU+LE5mu7
Xprc2VQO7o1T+XJVwcOx4uEfJjTIi0VhXY5j71k4kFp/G5SdHO5t776oB3Z4
4NXucuDm+LQZe4mxd+/PDzHOQ6+3oHcpjy6Hzcirnf6WEGQ5KwddvzukPxC1
chNd7stpWc78fq+XeJfEhfFlPLH3vZmzP+uk9L2Z9WX0S6WKssqjxM1npZ04
NZvOeRM2JfmjKirl5l25vdV/GTYPtn6Nxd+9C4vlYXvx4cnN6fDi/Oh4uJme
h4eHuNE1kZNoncImfO/1Xs9nJtW+/hO93ouSsZtEu/EsHa8fL5vj2cx0iwp5
ZHxSsZvwssZaJP8zBVzjKJZvk1OnH+rBoOojaDNdvriGHq4/nG7mAyJSpVPJ
nXZLfh7A0i+VmfXUyFZlb53oqCH6vdegQ147W9rEZj7YwZ89Ck6x4aCv+SGd
cXN+fXE8PBu8Od58Uo4tfNCMmkATqixxrO/t8Jr2KWaWaXmmitRP1Z328hDA
A705nWLU5XAgeQDYYYfHLHliHulxAGXoojQJu6a09yCRsUXeHF8en/b3V095
X2BDX2I5LcVCmipvdAH4LE3YYcA0blB00OkxMAQrfGJdpjZbpB7FyiVTeFKQ
rB71tre2Xve34Wg7uy+3tno0tbZdnVYE3+mk0t4TjPIamt/r93vVKsE/geCf
INCfXE1wPC3zrOF0u8XpmlhO1YwM5Am3G9iMakbfKuen8kbN/yST26+2XvQB
PA2T+rHU4CJFrPG6JEzrfT/77hV2vXh/+OYj0GuV7s5FldzN5e3UuFJrQO1C
5422SPdH9OA0dJDKWWP0nSeENvDgJ7GbVlmskri6YzPH+tLk2HaBBetCYLe+
jOWPsRxk8kS5VBXtl29ieRrLayjPeZZkzc/J+b+2WRrOfakJWhOEgU+fGgMu
tS/p2Y6Zr8yMnHKIJE/5IIHDL2JXjeJU93IgnKKBHozd6vEYis4Qq6piogto
of+i19/q9V8Tp1FwOe2iJPH9F19hN2j8x8qpn+XQ5tbZe3/H6HtwODwcXF6e
X562eBomKlMjOCweiqLhCEZnA5+HmQJejhdeGVi8Vik73hXAB2v/VmWFdmpk
MlOGCLoZ3iskIOaRzcyzKHtjkxGu66T/Oso1rfiqHutQbpHSlPItz117t4Ht
1dfr8Xr13aFTZiI/Wkh+fVNkC0jcMqOhE59Mc5M+OffX/3ITCHD6oIu7tXcf
q3uVyeEUAaSkdQfHg+Ft26rOAI0S3qTZMx6tQwpR/Ky+7gbTWZLEOvGxh8MU
tTPAqnulyoDJI2Qorip6B1r53xPn7RTZz1Fln7JdZUYVFqnTp08W7z4cD94c
nbUJP89n2o2RNUhkHA9wLAlFwpmRvp7ZBwTb8djo6ExnWa4KOUYi5Am7ZjAa
mJbe7B4peXfONpJa0wP58IG439/d622/6m8BeGP83Xm59fLr3o4gPkid2eDn
B1Mcp+7X3/w9hhBcBQs0SfvNNbBBVambt4ffYtgB1tqjBDHxmcoA9fn6EUCg
M00Opt0TYoczhxcqy9pvjmPox+a//qM9fBHLv6kMUKHa4wc0TmFmmFlLtnZy
A6W1VTaQOaLTXCISlZq8mUyuKjgXvlV5A8+wRuSBBlPCxFwhQBSI5cH/N2vO
FBB5PFVZ7BOji0T38IziBLrb3ttiV+/x6RFvGtlxhLMiPj2y6i4D8f293zHY
Aw3XAJ14qFxqq2Sq12a8Ua6cGlQosLmn6g5zBkVpwY880pmZFKqMLjCpStdB
4dd/pJQknNjKFU/QBmH1rsrG8o2dZg8axdf6GdkYKY+V18ahKjNrb6+Ndk5H
H+8h1CHqsdG6/2mQD1ZMLv9uCoSa1E5tRbwOL65u1xyRM7sEiVcJzWWZoQRX
1inaSuBV7VQipBFdef7muMuoPxye/TnNbu/uvtrbC5plsn66PBoOvxqc/oyG
TtWv/4lsSV5AzaBZiCiKpBp5Snfxa6WmBhsPVBbMwGYqEWKYF0QzOSJDLsZm
UlHu6WErMG5VSlNSrnFPi+TE2lT4OhOmYUAaxbBYhiN26AiVeYtzxIZzxuYR
u3hC77vCPhQy1QiWJCRsAsLKab3RdjdQoLxwOsfpUAhMwLoIh8IUV0otmBwA
ASm3IeugU7AdvaY1CG4Lx4UwALGJAHUNY6C2sKUkGjmsj+YSdQDn3z4W4sCC
ICQbZCFeIirBwzV+I0ZxeseWM4NvlB70gmkEaY+M5k7LQj+0iRQqm1iIbZpj
Lr311YzKC8iaS38vn1Elql02lx3SKrRSObDUed5FtVwmcbdWk0A6gbckLRDL
IgypCG/b5IWEhmAvtQmAuiiln+kEmQlExMzXYhaYEtoBKMUtb7CkE9X/kk9S
T5aRlagZ2YNOIaCTCrapXXehflK08SsmFnxllTDoH3RnKaSOGs+xYQikTSAT
AvQ4EVU2uU0czBgpRJppIb6R50WJlKRK2B8/fwM7jHAEklD/ZWnjnz9zs+DL
l/9Na0fAJjvoYg1OaThrTAXbITl1LNm8sRixaur7QvRj+WEKKCBxZg3IZFxq
1oYafOlBzX1j0RrizKlqry162pSNgiIFlZpSQaBk0osVZAdImWBbusuL4Cz3
Kpk3bKZ0DIoUC4fJgVlCbPMSmHE46Kuu1lhUSglNvXUQRFeOyHNMEUHkYs07
Uw1tcO0n4clwBlMkWUXybnxrZQHr5IFSPgUHq1yi6TBx306hMQ0uNGF3IDrm
GkXcAkHkzXAggZ+wrAQSm0AOyO9lYmYQDCbBa31XEGmgHyhQlyxwKoRd8AdT
XUvO2GHlSj0Zi6HWMD0yyaQu4PmFhx2SdDTKBuvquWInSBhuNjEFM9zITfnI
gPLU6oBMtZLkwgqfJZRntIvZELuex6hagzcywK54LhlF7W2ov+yTXUHSeUH+
AMvz5dKbgy/tBF/6XVhny/zDsP7bIC3/IEgzeCwiBFPwVXtNlp2VlMwASoQr
Iy0HCiuUknNmXBDjSJss3A7mUGHHVQiw42DFC5CAUcEqGGGbaazE/w8f//fh
4xvqpt1TEsdeQB0U5pZ/I2TA3ggXqDnvZeft++Ftpxv+yssrfr45fvf+/Ob4
iJ6HZ4OLi8WDqGcMz67eXxwtn5YrD6/evj2+PAqLMSpbQ6LzdvCxE/jrXF3f
nl9dDi46FLHKluDJd+GyI+p0ltpBKqRzOBBEhCR2RACOxPDw+r//o78Lj/2n
m5PD7X7/NZw2/HjVf7mLHw9IZsNptoCNhJ+Q/lxAIcBL2gU1FYxkZlAZe8Ii
EjW8meIHpPkv/0aS+fd9+ZdRMuvv/rUeIIZbg43MWoMss6cjTxYHIW4Y2nDM
Qpqt8TVJt+kdfGz9buS+MviX7zOqdaL+q+//KjjryBfx2TOWr/b8ZavnL5rG
NFWEFTXIupA2YhZSdsONo25wA8YCJafVBGrNZ0jSMY+8ICYgplZWiNXvh/KS
TwZknBceFUwVCtEh9UYVmS1pdHEhw6Uqg4ISeZWVJqJQKPV4TI1smJGv15lP
etVTQ5itHbTj1Vh3BBP+yzpDbI9jZF2GoPjz5+t3h1++xPLEOAAl3aPJdHFr
QJgH2yo0HBQYRb0/8OQV9W5MTquXtxzYRIiQENEkVHBAXjdnNFCGwwTJ/vIc
Bgc+yIv9dIUdlhILTTAVU7XMJwL7XnJXGflULAbk81zlhVD+oFi1eXAmiAwe
Ai3s0FE0k7RD2ATJg2Gaw4csMKkrSBJ8zUGMDOuDLaFb+6hFvkMjBHscY2lZ
l64XF5MR1vkW07PWAtbL6XzkTLqqONI+wBIIB2wmcyMhEaVp5RjURUnVLiNe
SEcTblEmtK1qmzKOzhiVLV8l1KHXNPGRViAO62AspKQxMMrXgRtHNmLGohrP
BXbKqFEcr5agH86D35OtLaPYM88ZlFGF+vLlOYM3raErHgT8K5bk8qJHDIp5
KywEqsB5OJyBKcSs+SK6QMkUIRDxFHwjZkb1o4J/wy/pshDn13eGAMw6vvjl
csh6LQzqIg3xW/CB4DRHQlfqui1UFDoUK2aM1dJSq2tRJEASIJcEfj6mpDiz
cwb8dv7I/qZoMNGu6LbSbAk4W2NymyIDjqKOc8ANZAu2iGqeJWX5lIIOPG9a
UUhZyoAhh+oIkjT1Kdicji6Hi/slSChcoUJAC1mI5dm8RX0YsC4UOJQ4IrTY
h8bmIc0gfWiQUvCwUYOxLNlkaq3Xq8a/yCCRt3gSgkaNRYGeZSRCjHTkeUGq
3yyu7BZ3avUBoXRcy9OXFSSBwbK24ey1QZLfbDsgIJtJQZQbECWYDQZ6xPMS
DptABnP8KEIOSqa4SMC5HphVbmZ9nQobflvWllJaAdfXY2zgKa2bL0jifBoW
AcMj66lLmFqKIc6Mqeus05btINCUTSY14pKRisvpsq5dJnmb6mW+Lc7m3waQ
QPlJv2ROtHA2n1LBlJDFQS+LhTS7WUrGYmfEL5cklSfjgExEbiEfqqETSNHb
ZXYYy1BkUVLzemd7ry6tVDiRWmdUA8pJRaWNLTgWhNNW3au+kwFfBHUUtijx
b27ZiN1lNdbkyKqYb8jYoZamDqWoZQVt4lqXqqEyC9dedMLabW/9PpYHzqq0
psM3w6iRHkG2KVuK+2e/8Ajivn0eAhNyWWohUKlGnygQyMNTzKNIyG0KAlPa
rrkfo6zShgMyRRnmI1RUIvXO6wqAYapi01WQ472idjR0BW4xq1y9oqjNhl0d
iXg8iaUdlSqUF3zZQehm7wg+KdtEYT/CeEnbxeKG/JkI//w5XGEjJDbP2+F5
5eJ9Q12NDAnF02RKOmZd4NW9XnhEtzadvZe7L1bRi5B5qVzmYEYwUlDshQQW
nxmR6dSagWzs0pKDdS0BShuOVm3V5FRJovpCekT2Ql3K0tDyruTuifErVNST
iRDorKQLmgbPaUGSGSaPpgmqjVnkIMgR+pEMl2fXsYg6Vwyxy9RgJUDBFQCW
tmhscNmaWO2byFzDH9Lf7vxQ7ZnNxXrPpe4TUE9FbuqpdOumWbtn9qDVXQEU
oJ4bQtaoaWM9FX6biOBGq+eLhvZGtI0eVgwvfDZmR95mKLKiO/24bmPy2e3V
0ZU8l/zZAuw3JM3AB6SVghJVXvHh9OKQH57uyIV+QfQXIbyh5oczK2fAi2so
IejitfFzKlONY8X4eQ4u6I4l9K48BVggLvfHqGbO5tRwS0MR+VQp8uZwl/tc
T9tfm6QvV6WPpa22ZoNNoSNjlA8+TUGNxB4g5FvpF4gNr9ujSuHJ2RykxEjr
Ytnjg6f9kRYfjIJOUuT09aWqMJTKENIvruCDMbTPNAUVtdT0aTdraWv+FINy
f/5Sou6ugYv6O4cARcuPHogpit5jLoEwGwrlsLegJHjg2vn8hWHIq6kWMnVv
m0o34BHgJ4Q11oVuSQP1C7d0Q3RnwY1DI0V6kJyh4Ptt4QkWnqw1SFjwRCnf
Lm2RcRyl2vKTiC9fBAfeoskc2blVk5lA5A0dVM1QJ2yA96g7ONS2sqFWOkuJ
1yJZGS1TnFBG1dDLCC1WrptMnlcFudK+4M8FQCv/JT1d2MnPKsdIuJCnIb7m
xQj/pQG+y6PrOAzyXy5FUfcPLgdPM0euT5Cy00v2fTAzkwq5SuhlOj0xZJLL
dgElD0TuTDl4IdfQdV/15phESQ3EWblA0rGtM+V9IfhzUXn8yCWSkxdqpFH7
hNHB8togCl+oNdWRvFwJO88GF9eXz5fvzo9QPB3D2JogDOqCfJnGZlrNxrxJ
EUMiSQlGurirMHdadJpikZTRVHt1F0sbR0HOUXuZb3JG9IEZJDtIqEsM7J2Q
d3jxeT98e6vT7zpjVAu6Awlf0jXfXKNM+x/s0ElOHiwAAA==

-->

</rfc>
