<?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.19 (Ruby 3.3.3) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-celi-wiggers-tls-authkem-04" category="info" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.23.2 -->
  <front>
    <title abbrev="AuthKEM">KEM-based Authentication for TLS 1.3</title>
    <seriesInfo name="Internet-Draft" value="draft-celi-wiggers-tls-authkem-04"/>
    <author initials="T." surname="Wiggers" fullname="Thom Wiggers">
      <organization>PQShield</organization>
      <address>
        <postal>
          <city>Nijmegen</city>
          <country>The Netherlands</country>
        </postal>
        <email>thom@thomwiggers.nl</email>
      </address>
    </author>
    <author initials="S." surname="Celi" fullname="Sofía Celi">
      <organization>Brave Software</organization>
      <address>
        <postal>
          <city>Lisbon</city>
          <country>Portugal</country>
        </postal>
        <email>cherenkov@riseup.net</email>
      </address>
    </author>
    <author initials="P." surname="Schwabe" fullname="Peter Schwabe">
      <organization>Radboud University and MPI-SP</organization>
      <address>
        <email>peter@cryptojedi.org</email>
      </address>
    </author>
    <author initials="D." surname="Stebila" fullname="Douglas Stebila">
      <organization>University of Waterloo</organization>
      <address>
        <postal>
          <city>Waterloo, ON</city>
          <country>Canada</country>
        </postal>
        <email>dstebila@uwaterloo.ca</email>
      </address>
    </author>
    <author initials="N." surname="Sullivan" fullname="Nick Sullivan">
      <organization/>
      <address>
        <email>nicholas.sullivan+ietf@gmail.com</email>
      </address>
    </author>
    <date year="2024" month="October" day="17"/>
    <area>SECAREA</area>
    <workgroup>TLS Working Group</workgroup>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 186?>

<t>This document gives a construction for a Key Encapsulation Mechanism (KEM)-based
authentication mechanism in TLS 1.3. This proposal authenticates peers via a key
exchange protocol, using their long-term (KEM) public keys.</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-celi-wiggers-tls-authkem/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        tlswg 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/kemtls/draft-celi-wiggers-tls-authkem"/>.</t>
    </note>
  </front>
  <middle>
    <?line 192?>

<section anchor="introduction">
      <name>Introduction</name>
      <t><strong>Note:</strong> This is a work-in-progress draft. We welcome discussion, feedback and
contributions through the IETF TLS working group mailing list or directly on
GitHub. Any code points indicated by this draft are for experiments only, and
should not be expected to be stable.</t>
      <t>This document gives a construction for KEM-based authentication in TLS 1.3
<xref target="RFC8446"/>. Authentication happens via asymmetric cryptography by the usage of
KEMs advertised as the long-term KEM public keys in the Certificate.</t>
      <t>TLS 1.3 is in essence a signed key exchange protocol (if using certificate-based
authentication). Authentication in TLS 1.3 is achieved by signing the handshake
transcript with digital signatures algorithms. KEM-based authentication provides
authentication by deriving a shared secret that is encapsulated against the
public key contained in the Certificate. Only the holder of the private key
corresponding to the certificate's public key can derive the same shared secret
and thus decrypt its peer's messages.</t>
      <t>This approach is appropriate for endpoints that have KEM public keys. Though
this is currently rare, certificates can be issued with (EC)DH public keys as
specified for instance in <xref target="RFC8410"/>, or using a delegation mechanism, such as
delegated credentials <xref target="I-D.ietf-tls-subcerts"/>.</t>
      <t>In this proposal, we build on <xref target="RFC9180"/>. This standard currently only covers
Diffie-Hellman based KEMs, but the first post-quantum algorithms have already
been put forward <xref target="I-D.westerbaan-cfrg-hpke-xyber768d00"/>. This proposal uses
ML-KEM <xref target="FIPS203"/> <xref target="I-D.cfrg-schwabe-kyber"/>, the first selected algorithm for
key exchange in the NIST post-quantum standardization project <xref target="NISTPQC"/>.
<xref target="I-D.ietf-lamps-kyber-certificates"/> describes how ML-KEM keys can be encoded
in X.509 certificates.</t>
      <section anchor="revision-history">
        <name>Revision history</name>
        <t><strong>This section should be removed prior to publication of a final version of this
document.</strong></t>
        <ul spacing="normal">
          <li>
            <t>Revision draft-celi-wiggers-tls-authkem-04
            </t>
            <ul spacing="normal">
              <li>
                <t>Some updates to ML-KEM</t>
              </li>
              <li>
                <t>Fixed some links</t>
              </li>
            </ul>
          </li>
          <li>
            <t>Revision draft-celi-wiggers-tls-authkem-03
            </t>
            <ul spacing="normal">
              <li>
                <t>Assigned experimental code points</t>
              </li>
              <li>
                <t>Re-worked HPKE computation</t>
              </li>
            </ul>
          </li>
          <li>
            <t>Revision draft-celi-wiggers-tls-authkem-02
            </t>
            <ul spacing="normal">
              <li>
                <t>Split PSK mechanism off into <xref target="I-D.wiggers-tls-authkem-psk"/></t>
              </li>
              <li>
                <t>Editing</t>
              </li>
            </ul>
          </li>
          <li>
            <t>Revision draft-celi-wiggers-tls-authkem-01
            </t>
            <ul spacing="normal">
              <li>
                <t>Significant Editing</t>
              </li>
              <li>
                <t>Use HPKE context</t>
              </li>
            </ul>
          </li>
          <li>
            <t>Revision draft-celi-wiggers-tls-authkem-00
            </t>
            <ul spacing="normal">
              <li>
                <t>Initial version</t>
              </li>
            </ul>
          </li>
        </ul>
        <section anchor="revision-2">
          <name>Revision 2</name>
        </section>
      </section>
      <section anchor="using-key-exchange-instead-of-signatures-for-authentication">
        <name>Using key exchange instead of signatures for authentication</name>
        <t>The elliptic-curve and finite-field-based key exchange and signature algorithms
that are currently widely used are very similar in sizes for public keys,
ciphertexts and signatures. As an example, RSA signatures are famously "just"
RSA encryption backwards.</t>
        <t>This changes in the post-quantum setting. Post-quantum key exchange and
signature algorithms have significant differences in implementation, performance
characteristics, and key and signature sizes.</t>
        <t>This also leads to increases in code size: For example, implementing highly
efficient polynomial multiplication for post-quantum key-encapsulation mechanism
ML-KEM and signature scheme ML-DSA <xref target="FIPS204"/> requires significantly
different approaches, even though the algorithms are related <xref target="K22"/>.</t>
        <t>Using the protocol proposed in this draft allows to reduce the amount of data
exchanged for handshake authentication. It also allows to re-use the
implementation that is used for ephemeral key exchange for authentication, as
KEM operations replace signing. This decreases the code size requirements, which
is especially relevant to protected implementations. Finally, KEM operations may
be more efficient than signing, which might especially affect embedded
platforms.</t>
      </section>
      <section anchor="evaluation-of-handshake-sizes">
        <name>Evaluation of handshake sizes</name>
        <t><strong>Should be removed before publishing</strong></t>
        <t>In the following table, we compare the sizes of TLS 1.3- and AuthKEM-based
handshakes. We give the transmission requirements for handshake authentication
(public key + signature), and certificate chain (intermediate CA certificate
public key and signature + root CA signature). For clarity, we are not listing
post-quantum/traditional hybrid algorithms; we also omit mechanisms such as
Certificate Transparency <xref target="RFC6962"/> or OCSP stapling <xref target="RFC6960"/>. We use
ML-KEM-768 instead of the smaller ML-KEM-512 parameter set, as the former is
currently used in experimental deployments. For signatures, we use Dilithium
(standardized as ML-DSA), the "primary" algorithm selected by NIST for
post-quantum signatures, as well as Falcon <xref target="FALCON"/>, the algorithm that offers
smaller public key and signature sizes, but which NIST indicates can be used if
the implementation requirements can be met.</t>
        <table>
          <name>Size comparison of public-key cryptography in TLS 1.3 and AuthKEM handshakes.</name>
          <thead>
            <tr>
              <th align="left">Handshake</th>
              <th align="left">HS auth algorithm</th>
              <th align="left">HS Auth bytes</th>
              <th align="left">Certificate chain bytes</th>
              <th align="left">Sum</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">TLS 1.3</td>
              <td align="left">RSA-2048</td>
              <td align="left">528</td>
              <td align="left">784  (RSA-2048)</td>
              <td align="left">1312</td>
            </tr>
            <tr>
              <td align="left">TLS 1.3</td>
              <td align="left">Dilithium-2</td>
              <td align="left">3732</td>
              <td align="left">6152 (Dilithium-2)</td>
              <td align="left">9884</td>
            </tr>
            <tr>
              <td align="left">TLS 1.3</td>
              <td align="left">Falcon-512</td>
              <td align="left">1563</td>
              <td align="left">2229 (Falcon-512)</td>
              <td align="left">3792</td>
            </tr>
            <tr>
              <td align="left">TLS 1.3</td>
              <td align="left">Dilithium-2</td>
              <td align="left">3732</td>
              <td align="left">2229 (Falcon-512)</td>
              <td align="left">5961</td>
            </tr>
            <tr>
              <td align="left">AuthKEM</td>
              <td align="left">Kyber-768</td>
              <td align="left">2272</td>
              <td align="left">6152 (Dilithium-2)</td>
              <td align="left">8424</td>
            </tr>
            <tr>
              <td align="left">AuthKEM</td>
              <td align="left">Kyber-768</td>
              <td align="left">2272</td>
              <td align="left">2229 (Falcon-512)</td>
              <td align="left">4564</td>
            </tr>
          </tbody>
        </table>
        <t>Note that although TLS 1.3 with Falcon-512 is the smallest instantiation,
Falcon is very challenging to implement: signature generation requires (emulation of)
64-bit floating point operations in constant time. It is also very difficult to
protect against other side-channel attacks, as there are no known methods of
masking Falcon. In light of these difficulties, use of Falcon-512 in online
handshake signatures may not be wise.</t>
        <t>Using AuthKEM with Falcon-512 in the certificate chain remains an attractive
option, however: the certificate issuance process, because it is mostly offline,
could perhaps be set up in a way to protect the Falcon implementation against
attacks. Falcon signature verification is fast and does not require
floating-point arithmetic. Avoiding online usage of Falcon in TLS 1.3 requires
two implementations of the signature verification routines, i.e., ML-DSA and
Falcon, on top of the key exchange algorithm.</t>
        <t>In all examples, the size of the certificate chain still dominates the TLS
handshake, especially if Certificate Transparency SCT statements are included,
which is relevant in the context of the WebPKI. However, we believe that if
proposals to reduce transmission sizes of the certificate chain in the WebPKI
context are implemented, the space savings of AuthKEM naturally become
relatively larger and more significant. We discuss this in
<xref target="cert-compression"/>.</t>
      </section>
      <section anchor="related-work">
        <name>Related work</name>
        <section anchor="optls">
          <name>OPTLS</name>
          <t>This proposal draws inspiration from <xref target="I-D.ietf-tls-semistatic-dh"/>, which is
in turn based on the OPTLS proposal for TLS 1.3 <xref target="KW16"/>. However, these proposals
require a non-interactive key exchange: they combine the client's public key
with the server's long-term key. This imposes an extra requirement: the
ephemeral and static keys MUST use the same algorithm, which this proposal does
not require. Additionally, there are no post-quantum proposals for a
non-interactive key exchange currently considered for standardization, while
several KEMs are on the way.</t>
        </section>
        <section anchor="cert-compression">
          <name>Compressing certificates and certificate chains</name>
          <t>AuthKEM reduces the amount of data required for authentication in TLS. In
recognition of the large increase in handshake size that a naive adoption of
post-quantum signatures would affect, several proposals have been put forward
that aim to reduce the size of certificates in the TLS handshake. <xref target="RFC8879"/>
proposes a certificate compression mechanism based on compression algorithms,
but this is not very helpful to reduce the size of high-entropy public keys and
signatures. Proposals that offer more significant reductions of sizes of
certificate chains, such as <xref target="I-D.jackson-tls-cert-abridge"/>,
<xref target="I-D.ietf-tls-ctls"/>, <xref target="I-D.kampanakis-tls-scas-latest"/>, and
<xref target="I-D.davidben-tls-merkle-tree-certs"/> all mainly rely on some form of
out-of-band distribution of intermediate certificates or other trust anchors in
a way that requires a robust update mechanism. This makes these proposals mainly
suitable for the WebPKI setting; although this is also the setting that has the
largest number of certificates due to the inclusion of SCT statements
<xref target="RFC6962"/> and OSCP staples <xref target="RFC6960"/>.</t>
          <t>AuthKEM complements these approaches in the WebPKI setting. On its own the gains
that AuthKEM offers may be modest compared to the large sizes of certificate
chains. But when combined with compression or certificate suppression mechanisms
such as those proposed in the referenced drafts, the reduction in handshake size
when replacing Dilithium-2 by Kyber-768 for handshake authentication becomes
significant again.</t>
        </section>
      </section>
      <section anchor="organization">
        <name>Organization</name>
        <t>After a brief introduction to KEMs, we will introduce the AuthKEM authentication
mechanism. For clarity, we discuss unilateral and mutual authentication
separately. In the remainder of the draft, we will discuss the necessary
implementation mechanics, such as code points, extensions, new protocol messages
and the new key schedule. The draft concludes with ah extensive discussion of
relevant security considerations.</t>
        <t>A related mechanism for KEM-based PSK-style handshakes is discussed in
<xref target="I-D.wiggers-tls-authkem-psk"/>.</t>
      </section>
    </section>
    <section anchor="conventions-and-definitions">
      <name>Conventions and definitions</name>
      <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED",
"MAY", and "OPTIONAL" 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.
<?line -6?>
      </t>
      <section anchor="terminology">
        <name>Terminology</name>
        <t>The following terms are used as they are in <xref target="RFC8446"/></t>
        <dl>
          <dt>client:</dt>
          <dd>
            <t>The endpoint initiating the TLS connection.</t>
          </dd>
          <dt>connection:</dt>
          <dd>
            <t>A transport-layer connection between two endpoints.</t>
          </dd>
          <dt>endpoint:</dt>
          <dd>
            <t>Either the client or server of the connection.</t>
          </dd>
          <dt>handshake:</dt>
          <dd>
            <t>An initial negotiation between client and server that establishes the
parameters of their subsequent interactions within TLS.</t>
          </dd>
          <dt>peer:</dt>
          <dd>
            <t>An endpoint.  When discussing a particular endpoint, "peer" refers to the
endpoint that is not the primary subject of discussion.</t>
          </dd>
          <dt>receiver:</dt>
          <dd>
            <t>An endpoint that is receiving records.</t>
          </dd>
          <dt>sender:</dt>
          <dd>
            <t>An endpoint that is transmitting records.</t>
          </dd>
          <dt>server:</dt>
          <dd>
            <t>The endpoint that responded to the initiation of the TLS connection. i.e. the
peer of the client.</t>
          </dd>
        </dl>
      </section>
      <section anchor="key-encapsulation-mechanisms">
        <name>Key Encapsulation Mechanisms</name>
        <t>As this proposal relies heavily on KEMs, which are not originally used by TLS,
we will provide a brief overview of this primitive. Other cryptographic
operations will be discussed later.</t>
        <t>A Key Encapsulation Mechanism (KEM) is a cryptographic primitive that defines
the methods <tt>Encapsulate</tt> and <tt>Decapsulate</tt>. In this draft, we extend these
operations with context separation strings, per HPKE <xref target="RFC9180"/>:</t>
        <dl newline="true">
          <dt><tt>Encapsulate(pkR, context_string)</tt>:</dt>
          <dd>
            <t>Takes a public key, and produces a shared secret and encapsulation.</t>
          </dd>
          <dt><tt>Decapsulate(enc, skR, context_string)</tt>:</dt>
          <dd>
            <t>Takes the encapsulation and the private key. Returns the shared secret.</t>
          </dd>
        </dl>
        <t>We implement these methods through the KEMs defined in <xref target="RFC9180"/> to export
shared secrets appropriate for using with the HKDF in TLS 1.3:</t>
        <artwork><![CDATA[
def Encapsulate(pk, context_string):
  enc, ctx = HPKE.SetupBaseS(pk, "tls13 auth-kem")
  ss = ctx.Export(context_string, HKDF.Length)
  return (enc, ss)

def Decapsulate(enc, sk, context_string):
  return HPKE.SetupBaseR(enc, sk, "tls13 auth-kem")
             .Export(context_string, HKDF.Length)
]]></artwork>
        <t>Keys are generated and encoded for transmission following the conventions in
<xref target="RFC9180"/>. The values of <tt>context_string</tt> are defined in
<xref target="kem-computations"/>.</t>
        <t><strong>Open question:</strong> Should we keep using HPKE, or just use "plain" KEMs, as in
the original KEMTLS works? Please see the discussion at <eref target="https://github.com/kemtls/draft-celi-wiggers-tls-authkem/issues/32">Issue
#32</eref>.</t>
      </section>
    </section>
    <section anchor="full-15-rtt-authkem-handshake-protocol">
      <name>Full 1.5-RTT AuthKEM Handshake Protocol</name>
      <t>Figure 1 below shows the basic KEM-authentication (AuthKEM) handshake, without
client authentication:</t>
      <artwork><![CDATA[
       Client                                     Server

Key  ^ ClientHello
Exch | + key_share
     v + signature_algorithms
                          -------->
                                             ServerHello  ^ Key
                                             + key_share  v Exch
                                   <EncryptedExtensions>
                                           <Certificate>  ^
       <KEMEncapsulation>  -------->                      |
       {Finished}          -------->                      | Auth
       [Application Data]  -------->                      |
                           <--------          {Finished}  v

       [Application Data]  <------->  [Application Data]

        +  Indicates noteworthy extensions sent in the
           previously noted message.
        <> Indicates messages protected using keys
           derived from a [sender]_handshake_traffic_secret.
        {} Indicates messages protected using keys
           derived from a
           [sender]_authenticated_handshake_traffic_secret.
        [] Indicates messages protected using keys
           derived from [sender]_application_traffic_secret_N.

       Figure 1: Message Flow for KEM-Authentication (KEM-Auth)
                 Handshake without client authentication.
]]></artwork>
      <t>This basic handshake captures the core of AuthKEM. Instead of using a signature
to authenticate the handshake, the client encapsulates a shared secret to the
server's certificate public key. Only the server that holds the private key
corresponding to the certificate public key can derive the same shared secret.
This shared secret is mixed into the handshake's key schedule. The client does
not have to wait for the server's <tt>Finished</tt> message before it can send data.
The client knows that its message can only be decrypted if the server was able
to derive the authentication shared secret encapsulated in the
<tt>KEMEncapsulation</tt> message.</t>
      <t><tt>Finished</tt> messages are sent as in TLS 1.3, and achieve full explicit
authentication.</t>
      <section anchor="client-authentication">
        <name>Client authentication</name>
        <t>For client authentication, the server sends the <tt>CertificateRequest</tt> message
as in <xref target="RFC8446"/>. This message can not be authenticated in the AuthKEM
handshake: we will discuss the implications below.</t>
        <t>As in <xref target="RFC8446"/>, section 4.4.2, if and only if the client receives
<tt>CertificateRequest</tt>, it MUST send a <tt>Certificate</tt> message. If the client
has no suitable certificate, it MUST send a <tt>Certificate</tt> message containing
no certificates. If the server is satisfied with the provided certificate, it
MUST send back a <tt>KEMEncapsulation</tt> message, containing the encapsulation to
the client's certificate. The resulting shared secret is mixed into the key
schedule. This ensures any messages sent using keys derived from it are covered
by the authentication.</t>
        <t>The AuthKEM handshake with client authentication is given in Figure 2.</t>
        <artwork><![CDATA[
       Client                                     Server

Key  ^ ClientHello
Exch | + key_share
     v + signature_algorithms
                          -------->
                                             ServerHello  ^ Key
                                             + key_share  v Exch
                                   <EncryptedExtensions>  ^ Server
                                    <CertificateRequest>  v Params
                                           <Certificate>  ^
     ^ <KEMEncapsulation>                                 |
     | {Certificate}       -------->                      |
Auth |                     <--------  {KEMEncapsulation}  | Auth
     v {Finished}          -------->                      |
       [Application Data]  -------->                      |
                           <-------           {Finished}  v

       [Application Data]  <------->  [Application Data]

        +  Indicates noteworthy extensions sent in the
           previously noted message.
        <> Indicates messages protected using keys
           derived from a [sender]_handshake_traffic_secret.
        {} Indicates messages protected using keys
           derived from a
           [sender]_authenticated_handshake_traffic_secret.
        [] Indicates messages protected using keys
           derived from [sender]_application_traffic_secret_N.

       Figure 2: Message Flow for KEM-Authentication (KEM-Auth)
                 Handshake with client authentication.
]]></artwork>
        <t>If the server is not satisfied with the client's certificates, it MAY, at its
discretion, decide to continue or terminate the handshake. If it decides to
continue, it MUST NOT send back a <tt>KEMEncapsulation</tt> message and the client
and server MUST compute the encryption keys as in the server-only authenticated
AuthKEM handshake. The <tt>Certificate</tt> remains included in the transcript. The
client MUST NOT assume it has been authenticated.</t>
        <t>Unfortunately, AuthKEM client authentication requires an extra round-trip.
Clients that know the server's long-term public KEM key MAY choose to use the
abbreviated AuthKEM handshake and opportunistically send the client certificate
as a 0-RTT-like message. This mechanism is discussed in
<xref target="I-D.wiggers-tls-authkem-psk"/>.</t>
      </section>
      <section anchor="relevant-handshake-messages">
        <name>Relevant handshake messages</name>
        <t>After the Key Exchange and Server Parameters phase of TLS 1.3 handshake, the
client and server exchange implicitly authenticated messages. KEM-based
authentication uses the same set of messages every time that certificate-based
authentication is needed.  Specifically:</t>
        <ul spacing="normal">
          <li>
            <t><tt>Certificate</tt>:  The certificate of the endpoint and any per-certificate
extensions.  This message MUST be omitted by the client if the server did not
send a <tt>CertificateRequest</tt> message (thus indicating that the client should
not authenticate with a certificate). For AuthKEM, <tt>Certificate</tt> MUST include
the long-term KEM public key. Certificates MUST be handled in accordance with
<xref target="RFC8446"/>, section 4.4.2.4.</t>
          </li>
          <li>
            <t><tt>KEMEncapsulation</tt>: A key encapsulation against the certificate's long-term
public key, which yields an implicitly authenticated shared secret.</t>
          </li>
        </ul>
      </section>
      <section anchor="overview-of-key-differences-with-rfc8446-tls-13">
        <name>Overview of key differences with RFC8446 TLS 1.3</name>
        <ul spacing="normal">
          <li>
            <t>New types of <tt>signature_algorithms</tt> for KEMs.</t>
          </li>
          <li>
            <t>Public keys in certificates are KEM algorithms.</t>
          </li>
          <li>
            <t>New handshake message <tt>KEMEncapsulation</tt>.</t>
          </li>
          <li>
            <t>The key schedule mixes in the shared secrets from the authentication.</t>
          </li>
          <li>
            <t>The <tt>Certificate</tt> is sent encrypted with a new handshake encryption key.</t>
          </li>
          <li>
            <t>The client sends <tt>Finished</tt> before the server.</t>
          </li>
          <li>
            <t>The client sends data before the server has sent <tt>Finished</tt>.</t>
          </li>
        </ul>
      </section>
      <section anchor="implicit-and-explicit-authentication">
        <name>Implicit and explicit authentication</name>
        <t>The data that the client MAY transmit to the server before having received the
server's <tt>Finished</tt> is encrypted using ciphersuites chosen based on the
client's and server's advertised preferences in the <tt>ClientHello</tt> and
<tt>ServerHello</tt> messages. The <tt>ServerHello</tt> message can however not be
authenticated before the <tt>Finished</tt> message from the server is verified. The
full implications of this are discussed in the Security Considerations section.</t>
        <t>Upon receiving the client's authentication messages, the server responds with
its <tt>Finished</tt> message, which achieves explicit authentication. Upon receiving
the server's <tt>Finished</tt> message, the client achieves explicit authentication.
Receiving this message retroactively confirms the server's cryptographic
parameter choices.</t>
      </section>
      <section anchor="authenticating-certificaterequest">
        <name>Authenticating <tt>CertificateRequest</tt></name>
        <t>The <tt>CertificateRequest</tt> message can not be authenticated during the AuthKEM
handshake; only after the <tt>Finished</tt> message from the server has been
processed, it can be proven as authentic. The security implications of this are
discussed later.</t>
        <t><strong>This is discussed in <eref target="https://github.com/kemtls/draft-celi-wiggers-tls-authkem/issues/16">GitHub issue
#16</eref>. We
would welcome feedback there.</strong></t>
        <t>Clients MAY choose to only accept post-handshake authentication.</t>
        <t><strong>TODO: Should they indicate this? TLS Flag?</strong></t>
      </section>
    </section>
    <section anchor="implementation">
      <name>Implementation</name>
      <t>In this section we will discuss the implementation details such as extensions
and key schedule.</t>
      <section anchor="negotiation-of-authkem">
        <name>Negotiation of AuthKEM</name>
        <t>Clients will indicate support for this mode by negotiating it as if it were a
signature scheme (part of the <tt>signature_algorithms</tt> extension). We thus add
these new signature scheme values (even though, they are not signature schemes)
for the KEMs defined in <xref target="RFC9180"/> Section 7.1. Note that we will be only
using their internal KEM's API defined there.</t>
        <artwork><![CDATA[
enum {
  dhkem_p256_sha256   => TBD,
  dhkem_p384_sha384   => TBD,
  dhkem_p521_sha512   => TBD,
  dhkem_x25519_sha256 => 0xFE01,
  dhkem_x448_sha512   => TBD,
  kem_x25519kyber768  => TBD, /*draft-westerbaan-cfrg-hpke-xyber768d00*/
}
]]></artwork>
        <t><strong>Please give feedback on which KEMs should be included</strong></t>
        <t>When present in the <tt>signature_algorithms</tt> extension, these values indicate
AuthKEM support with the specified key exchange mode. These values MUST NOT
appear in <tt>signature_algorithms_cert</tt>, as this extension specifies the signing
algorithms by which certificates are signed.</t>
      </section>
      <section anchor="protocol-messages">
        <name>Protocol messages</name>
        <t>The handshake protocol is used to negotiate the security parameters of a
connection, as in TLS 1.3. It uses the same messages, expect for the addition of
a <tt>KEMEncapsulation</tt> message and does not use the <tt>CertificateVerify</tt> one.</t>
        <artwork><![CDATA[
enum {
    ...
    kem_encapsulation(30),
    ...
    (255)
  } HandshakeType;

struct {
    HandshakeType msg_type;    /* handshake type */
    uint24 length;             /* remaining bytes in message */
    select (Handshake.msg_type) {
        ...
        case kem_encapsulation:     KEMEncapsulation;
        ...
    };
} Handshake;
]]></artwork>
        <t>Protocol messages MUST be sent in the order defined in Section 4. A peer which
receives a handshake message in an unexpected order MUST abort the handshake
with a "<tt>unexpected_message</tt>" alert.</t>
        <t>The <tt>KEMEncapsulation</tt> message is defined as follows:</t>
        <artwork><![CDATA[
struct {
    opaque certificate_request_context<0..2^8-1>
    opaque encapsulation<0..2^16-1>;
} KEMEncapsulation;
]]></artwork>
        <t>The encapsulation field is the result of a <tt>Encapsulate</tt> function. The
<tt>Encapsulate()</tt> function will also result in a shared secret (<tt>ssS</tt> or <tt>ssC</tt>,
depending on the peer) which is used to derive the <tt>AHS</tt> or <tt>MS</tt> secrets (See
<xref target="key-schedule"/>).</t>
        <t>If the <tt>KEMEncapsulation</tt> message is sent by a server, the authentication
algorithm MUST be one offered in the client's <tt>signature_algorithms</tt> extension.
Otherwise, the server MUST terminate the handshake with an
"<tt>unsupported_certificate</tt>" alert.</t>
        <t>If sent by a client, the authentication algorithm used in the signature MUST be
one of those present in the <tt>supported_signature_algorithms</tt> field of the
<tt>signature_algorithms</tt> extension in the <tt>CertificateRequest</tt> message.</t>
        <t>In addition, the authentication algorithm MUST be compatible with the key(s) in
the sender's end-entity certificate.</t>
        <t>The receiver of a <tt>KEMEncapsulation</tt> message MUST perform the <tt>Decapsulate()</tt>
operation by using the sent encapsulation and the private key of the public key
advertised in the end-entity certificate sent. The <tt>Decapsulate()</tt> function will
also result on a shared secret (<tt>ssS</tt> or <tt>ssC</tt>, depending on the Server or
Client executing it respectively) which is used to derive the <tt>AHS</tt> or <tt>MS</tt>
secrets.</t>
        <t><tt>certificate_request_context</tt> is included to allow the recipient to identify the
certificate against which the encapsulation was generated. It MUST be set to the
value in the <tt>Certificate</tt> message to which the encapsulation was computed.</t>
      </section>
      <section anchor="cryptographic-computations">
        <name>Cryptographic computations</name>
        <t>The AuthKEM handshake establishes three input secrets which are combined to
create the actual working keying material, as detailed below. The key derivation
process incorporates both the input secrets and the handshake transcript.  Note
that because the handshake transcript includes the random values from the Hello
messages, any given handshake will have different traffic secrets, even if the
same input secrets are used.</t>
        <section anchor="key-schedule">
          <name>Key schedule for full AuthKEM handshakes</name>
          <t>AuthKEM uses the same <tt>HKDF-Extract</tt> and <tt>HKDF-Expand</tt> functions as defined by
TLS 1.3, in turn defined by <xref target="RFC5869"/>.</t>
          <t>Keys are derived from two input secrets using the <tt>HKDF-Extract</tt> and
<tt>Derive-Secret</tt> functions.  The general pattern for adding a new secret is to
use <tt>HKDF-Extract</tt> with the Salt being the current secret state and the Input
Keying Material (IKM) being the new secret to be added.</t>
          <t>The notable differences are:</t>
          <ul spacing="normal">
            <li>
              <t>The addition of the <tt>Authenticated Handshake Secret</tt> and a new set of
handshake traffic encryption keys.</t>
            </li>
            <li>
              <t>The inclusion of the <tt>SSs</tt> and <tt>SSc</tt> (if present) shared secrets as IKM to
<tt>Authenticated Handshake Secret</tt> and <tt>Main Secret</tt>, respectively.</t>
            </li>
          </ul>
          <t>The full key schedule proceeds as follows:</t>
          <artwork><![CDATA[
            0
            |
            v
    PSK -> HKDF-Extract = Early Secret
            |
            +--> Derive-Secret(., "ext binder" | "res binder", "")
            |                  = binder_key
            |
            +--> Derive-Secret(., "c e traffic", ClientHello)
            |                  = client_early_traffic_secret
            |
            +--> Derive-Secret(., "e exp master", ClientHello)
            |                  = early_exporter_master_secret
            v
            Derive-Secret(., "derived", "")
            |
            v
(EC)DHE -> HKDF-Extract = Handshake Secret
            |
            +--> Derive-Secret(., "c hs traffic",
            |                  ClientHello...ServerHello)
            |                  = client_handshake_traffic_secret
            |
            +--> Derive-Secret(., "s hs traffic",
            |                  ClientHello...ServerHello)
            |                  = server_handshake_traffic_secret
            v
            Derive-Secret(., "derived", "") = dHS
            |
            v
    SSs -> HKDF-Extract = Authenticated Handshake Secret
            |
            +--> Derive-Secret(., "c ahs traffic",
            |                  ClientHello...KEMEncapsulation)
            |         = client_handshake_authenticated_traffic_secret
            |
            +--> Derive-Secret(., "s ahs traffic",
            |                  ClientHello...KEMEncapsulation)
            |         = server_handshake_authenticated_traffic_secret
            v
            Derive-Secret(., "derived", "") = dAHS
            |
            v
SSc||0 * -> HKDF-Extract = Main Secret
            |
            +--> Derive-Secret(., "c ap traffic",
            |                  ClientHello...client Finished)
            |                  = client_application_traffic_secret_0
            |
            +--> Derive-Secret(., "s ap traffic",
            |                  ClientHello...server Finished)
            |                  = server_application_traffic_secret_0
            |
            +--> Derive-Secret(., "exp master",
            |                  ClientHello...server Finished)
            |                  = exporter_master_secret
            |
            +--> Derive-Secret(., "res master",
                               ClientHello...server Finished)
                               = resumption_master_secret

*: if client authentication was requested, the `SSc` value should
   be used. Otherwise, the `0` value is used.
]]></artwork>
        </section>
        <section anchor="kem-computations">
          <name>Computations of KEM shared secrets</name>
          <t>The operations to compute <tt>SSs</tt> or <tt>SSc</tt> from the client are:</t>
          <artwork><![CDATA[
SSs, encapsulation <- Encapsulate(public_key_server,
                                  "server authentication")
               SSc <- Decapsulate(encapsulation, private_key_client,
                                  "client authentication")
]]></artwork>
          <t>The operations to compute <tt>SSs</tt> or <tt>SSc</tt> from the server are:</t>
          <artwork><![CDATA[
               SSs <- Decapsulate(encapsulation, private_key_server
                                  "server authentication")
SSc, encapsulation <- Encapsulate(public_key_client,
                                  "client authentication")
]]></artwork>
        </section>
        <section anchor="explicit-authentication-messages">
          <name>Explicit Authentication Messages</name>
          <t>AuthKEM upgrades implicit to explicit authentication through the <tt>Finished</tt>
message. Note that in the full handshake, AuthKEM achieves explicit
authentication only when the server sends the final <tt>Finished</tt> message (the
client is only implicitly authenticated when they send their <tt>Finished</tt>
message).</t>
          <t>Full downgrade resilience and forward secrecy is achieved once the AuthKEM
handshake completes.</t>
          <t>The key used to compute the <tt>Finished</tt> message MUST be computed from the
<tt>MainSecret</tt> using HKDF (instead of a key derived from HS as in <xref target="RFC8446"/>).
Specifically:</t>
          <artwork><![CDATA[
server/client_finished_key =
  HKDF-Expand-Label(MainSecret,
                    server/client_label,
                    "", Hash.length)
server_label = "tls13 server finished"
client_label = "tls13 client finished"
]]></artwork>
          <t>The <tt>verify_data</tt> value is computed as follows. Note that instead of what is
specified in <xref target="RFC8446"/>, we use the full transcript for both server and client
Finished messages:</t>
          <artwork><![CDATA[
server/client_verify_data =
      HMAC(server/client_finished_key,
           Transcript-Hash(Handshake Context,
                           Certificate*,
                           KEMEncapsulation*,
                           Finished**))

*  Only included if present.
** The party who last sends the finished message in terms of flights
   includes the other party's Finished message.
]]></artwork>
          <t>Any records following a <tt>Finished</tt> message MUST be encrypted under the
appropriate application traffic key as described in <xref target="RFC8446"/>. In particular,
this includes any alerts sent by the server in response to client
<tt>Certificate</tt> and <tt>KEMEncapsulation</tt> messages.</t>
          <t>See <xref target="SSW20"/> for a full treatment of implicit and explicit authentication.</t>
        </section>
      </section>
    </section>
    <section anchor="sec-considerations">
      <name>Security Considerations</name>
      <section anchor="implicit-authentication">
        <name>Implicit authentication</name>
        <t>Because preserving a 1/1.5RTT handshake in KEM-Auth requires the client to send
its request in the same flight when the <tt>ServerHello</tt> message is received, it
can not yet have explicitly authenticated the server. However, through the
inclusion of the key encapsulated to the server's long-term secret, only an
authentic server should be able to decrypt these messages.</t>
        <t>However, the client can not have received confirmation that the server's choices
for symmetric encryption, as specified in the <tt>ServerHello</tt> message, were
authentic. These are not authenticated until the <tt>Finished</tt> message from the
server arrived. This may allow an adversary to downgrade the symmetric
algorithms, but only to what the client is willing to accept. If such an attack
occurs, the handshake will also never successfully complete and no data can be
sent back.</t>
        <t>If the client trusts the symmetric algorithms advertised in its <tt>ClientHello</tt>
message, this should not be a concern. A client MUST NOT accept any
cryptographic parameters it does not include in its own <tt>ClientHello</tt> message.</t>
        <t>If client authentication is used, explicit authentication is reached before any
application data, on either client or server side, is transmitted.</t>
        <t>Application Data MUST NOT be sent prior to sending the Finished message, except
as specified in Section 2.3 of <xref target="RFC8446"/>.  Note that while the client MAY
send Application Data prior to receiving the server's last explicit
Authentication message, any data sent at that point is, being sent to an
implicitly authenticated peer.</t>
      </section>
      <section anchor="authentication-of-certificate-request">
        <name>Authentication of Certificate Request</name>
        <t>Due to the implicit authentication of the server's messages during the full
AuthKEM handshake, the <tt>CertificateRequest</tt> message can not be authenticated
before the client received <tt>Finished</tt>.</t>
        <t>The key schedule guarantees that the server can not read the client's
certificate message (as discussed above). An active adversary that maliciously
inserts a <tt>CertificateRequest</tt> message will also result in a mismatch in
transcript hashes, which will cause the handshake to fail.</t>
        <t>However, there may be side effects. The adversary might learn that the client
has a certificate by observing the length of the messages sent. There may also
be side effects, especially in situations where the client is prompted to e.g.
approve use or unlock a certificate stored encrypted or on a smart card.</t>
      </section>
      <section anchor="other-security-considerations">
        <name>Other security considerations</name>
        <ul spacing="normal">
          <li>
            <t>Because the Main Secret is derived from both the ephemeral key exchange,
as well as from the key exchanges completed for server and (optionally) client
authentication, the MS secret always reflects the peers' views of the authentication
status correctly. This is an improvement over TLS 1.3 for client authentication.</t>
          </li>
          <li>
            <t>The academic works proposing AuthKEM (KEMTLS) contains an in-depth technical
discussion of and a proof of the security of the handshake protocol without
client authentication <xref target="SSW20"/>, <xref target="Wig24"/>.</t>
          </li>
          <li>
            <t>The work proposing the variant protocol <xref target="SSW21"/>, <xref target="Wig24"/> with pre-distributed public
keys (the abbreviated AuthKEM handshake) has a proof for both unilaterally and
mutually authenticated handshakes.</t>
          </li>
          <li>
            <t>We have proofs of the security of KEMTLS and KEMTLS-PDK in Tamarin. <xref target="CHSW22"/></t>
          </li>
          <li>
            <t>Application Data sent prior to receiving the server's last explicit
authentication message (the Finished message) can be subject to a client
certificate suite downgrade attack. Full downgrade resilience and forward
secrecy is achieved once the handshake completes.</t>
          </li>
          <li>
            <t>The client's certificate is kept secret from active observers by the
derivation of the <tt>client_authenticated_handshake_secret</tt>, which ensures that
only the intended server can read the client's identity.</t>
          </li>
          <li>
            <t>If AuthKEM client authentication is used, the resulting shared secret is
included in the key schedule. This ensures that both peers have a consistent
view of the authentication status, unlike <xref target="RFC8446"/>.</t>
          </li>
        </ul>
      </section>
    </section>
  </middle>
  <back>
    <references anchor="sec-combined-references">
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <reference anchor="RFC8446">
          <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="RFC9180">
          <front>
            <title>Hybrid Public Key Encryption</title>
            <author fullname="R. Barnes" initials="R." surname="Barnes"/>
            <author fullname="K. Bhargavan" initials="K." surname="Bhargavan"/>
            <author fullname="B. Lipp" initials="B." surname="Lipp"/>
            <author fullname="C. Wood" initials="C." surname="Wood"/>
            <date month="February" year="2022"/>
            <abstract>
              <t>This document describes a scheme for hybrid public key encryption (HPKE). This scheme provides a variant of public key encryption of arbitrary-sized plaintexts for a recipient public key. It also includes three authenticated variants, including one that authenticates possession of a pre-shared key and two optional ones that authenticate possession of a key encapsulation mechanism (KEM) private key. HPKE works for any combination of an asymmetric KEM, key derivation function (KDF), and authenticated encryption with additional data (AEAD) encryption function. Some authenticated variants may not be supported by all KEMs. We provide instantiations of the scheme using widely used and efficient primitives, such as Elliptic Curve Diffie-Hellman (ECDH) key agreement, HMAC-based key derivation function (HKDF), and SHA2.</t>
              <t>This document is a product of the Crypto Forum Research Group (CFRG) in the IRTF.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9180"/>
          <seriesInfo name="DOI" value="10.17487/RFC9180"/>
        </reference>
        <reference anchor="I-D.ietf-lamps-kyber-certificates">
          <front>
            <title>Internet X.509 Public Key Infrastructure - Algorithm Identifiers for Module-Lattice-Based Key-Encapsulation Mechanism (ML-KEM)</title>
            <author fullname="Sean Turner" initials="S." surname="Turner">
              <organization>sn3rd</organization>
            </author>
            <author fullname="Panos Kampanakis" initials="P." surname="Kampanakis">
              <organization>AWS</organization>
            </author>
            <author fullname="Jake Massimo" initials="J." surname="Massimo">
              <organization>AWS</organization>
            </author>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <date day="20" month="September" year="2024"/>
            <abstract>
              <t>   Module-Lattice-Based Key-Encapsulation Mechanism (ML-KEM) is a
   quantum-resistant key-encapsulation mechanism (KEM).  This document
   specifies algorithm identifiers and ASN.1 encoding format for ML-KEM
   in public key certificates.  The encoding for public and private keys
   are also provided.

   [EDNOTE: This document is not expected to be finalized before the
   NIST PQC Project has standardized PQ algorithms.  This specification
   will use object identifiers for the new algorithms that are assigned
   by NIST, and will use placeholders until these are released.]

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-lamps-kyber-certificates-04"/>
        </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>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="RFC5869">
          <front>
            <title>HMAC-based Extract-and-Expand Key Derivation Function (HKDF)</title>
            <author fullname="H. Krawczyk" initials="H." surname="Krawczyk"/>
            <author fullname="P. Eronen" initials="P." surname="Eronen"/>
            <date month="May" year="2010"/>
            <abstract>
              <t>This document specifies a simple Hashed Message Authentication Code (HMAC)-based key derivation function (HKDF), which can be used as a building block in various protocols and applications. The key derivation function (KDF) is intended to support a wide range of applications and requirements, and is conservative in its use of cryptographic hash functions. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5869"/>
          <seriesInfo name="DOI" value="10.17487/RFC5869"/>
        </reference>
        <reference anchor="SSW20">
          <front>
            <title>Post-Quantum TLS without Handshake Signatures</title>
            <author initials="D." surname="Stebila" fullname="Douglas Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <author initials="P." surname="Schwabe" fullname="Peter Schwabe">
              <organization>Radboud University and Max Planck Institute for Security and Privacy</organization>
            </author>
            <author initials="T." surname="Wiggers" fullname="Thom Wiggers">
              <organization>Radboud University</organization>
            </author>
            <date year="2020" month="November"/>
          </front>
          <seriesInfo name="ACM CCS 2020" value=""/>
          <seriesInfo name="DOI" value="10.1145/3372297.3423350"/>
          <seriesInfo name="IACR ePrint" value="https://ia.cr/2020/534"/>
        </reference>
        <reference anchor="SSW21">
          <front>
            <title>More Efficient KEMTLS with Pre-Shared Keys</title>
            <author initials="D." surname="Stebila" fullname="Douglas Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <author initials="P." surname="Schwabe" fullname="Peter Schwabe">
              <organization>Radboud University and Max Planck Institute for Security and Privacy</organization>
            </author>
            <author initials="T." surname="Wiggers" fullname="Thom Wiggers">
              <organization>Radboud University</organization>
            </author>
            <date year="2021" month="May"/>
          </front>
          <seriesInfo name="ESORICS 2021" value=""/>
          <seriesInfo name="DOI" value="10.1007/978-3-030-88418-5_1"/>
          <seriesInfo name="IACR ePrint" value="https://ia.cr/2021/779"/>
        </reference>
        <reference anchor="CHSW22">
          <front>
            <title>A tale of two models: formal verification of KEMTLS in Tamarin</title>
            <author initials="S." surname="Celi" fullname="Sofía Celi">
              <organization>Brave Software</organization>
            </author>
            <author initials="J." surname="Hoyland" fullname="Jonathan Hoyland">
              <organization>Cloudflare, Inc.</organization>
            </author>
            <author initials="D." surname="Stebila" fullname="Douglas Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <author initials="T." surname="Wiggers" fullname="Thom Wiggers">
              <organization>Radboud University</organization>
            </author>
            <date year="2022" month="August"/>
          </front>
          <seriesInfo name="ESORICS 2022" value=""/>
          <seriesInfo name="DOI" value="10.1007/978-3-031-17143-7_4"/>
          <seriesInfo name="IACR ePrint" value="https://ia.cr/2022/1111"/>
        </reference>
        <reference anchor="Wig24">
          <front>
            <title>Post-Quantum TLS</title>
            <author initials="T." surname="Wiggers" fullname="Thom Wiggers">
              <organization>Radboud University</organization>
            </author>
            <date year="2024" month="January" day="09"/>
          </front>
          <seriesInfo name="PhD thesis" value="https://thomwiggers.nl/publication/thesis/"/>
        </reference>
        <reference anchor="NISTPQC">
          <front>
            <title>Post-Quantum Cryptography Standardization</title>
            <author initials="" surname="NIST">
              <organization>National Institute for Standards and Technology</organization>
            </author>
            <date year="2020"/>
          </front>
        </reference>
        <reference anchor="KW16" target="https://ia.cr/2015/978">
          <front>
            <title>The OPTLS Protocol and TLS 1.3</title>
            <author initials="H." surname="Krawczyk" fullname="Hugo Krawczyk">
              <organization>IBM Research</organization>
            </author>
            <author initials="H." surname="Wee" fullname="Hoeteck Wee">
              <organization>ENS, CNRS, INRIA and Columbia University</organization>
            </author>
            <date year="2016"/>
          </front>
          <seriesInfo name="Proceedings of Euro S&amp;P 2016" value=""/>
        </reference>
        <reference anchor="K22" target="https://kannwischer.eu/thesis/">
          <front>
            <title>Polynomial Multiplication for Post-Quantum Cryptography</title>
            <author initials="M. J." surname="Kannwischer" fullname="Matthias J. Kannwischer">
              <organization>Radboud University</organization>
            </author>
            <date year="2022" month="April" day="22"/>
          </front>
          <seriesInfo name="Ph.D." value="thesis"/>
        </reference>
        <reference anchor="FALCON" target="https://falcon-sign.info">
          <front>
            <title>Falcon</title>
            <author initials="P." surname="Fouque">
              <organization/>
            </author>
            <author initials="J." surname="Hoffstein">
              <organization/>
            </author>
            <author initials="P." surname="Kirchner">
              <organization/>
            </author>
            <author initials="V." surname="Lyubashevsky">
              <organization/>
            </author>
            <author initials="T." surname="Pornin">
              <organization/>
            </author>
            <author initials="T." surname="Ricosset">
              <organization/>
            </author>
            <author initials="G." surname="Seiler">
              <organization/>
            </author>
            <author initials="W." surname="Whyte">
              <organization/>
            </author>
            <author initials="Z." surname="Zhang">
              <organization/>
            </author>
            <date year="2021"/>
          </front>
        </reference>
        <reference anchor="FIPS203">
          <front>
            <title>Module-Lattice-Based Key-Encapsulation Mechanism Standard</title>
            <author initials="" surname="National Institute of Standards and Technology">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
          <seriesInfo name="DOI" value="10.6028/NIST.FIPS.203"/>
        </reference>
        <reference anchor="FIPS204">
          <front>
            <title>Module-Lattice-Based Digital Signature Standard</title>
            <author initials="" surname="National Institute of Standards and Technology">
              <organization/>
            </author>
            <date>n.d.</date>
          </front>
          <seriesInfo name="DOI" value="10.6028/NIST.FIPS.203"/>
        </reference>
        <reference anchor="RFC8410">
          <front>
            <title>Algorithm Identifiers for Ed25519, Ed448, X25519, and X448 for Use in the Internet X.509 Public Key Infrastructure</title>
            <author fullname="S. Josefsson" initials="S." surname="Josefsson"/>
            <author fullname="J. Schaad" initials="J." surname="Schaad"/>
            <date month="August" year="2018"/>
            <abstract>
              <t>This document specifies algorithm identifiers and ASN.1 encoding formats for elliptic curve constructs using the curve25519 and curve448 curves. The signature algorithms covered are Ed25519 and Ed448. The key agreement algorithms covered are X25519 and X448. The encoding for public key, private key, and Edwards-curve Digital Signature Algorithm (EdDSA) structures is provided.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8410"/>
          <seriesInfo name="DOI" value="10.17487/RFC8410"/>
        </reference>
        <reference anchor="I-D.ietf-tls-subcerts">
          <front>
            <title>Delegated Credentials for TLS and DTLS</title>
            <author fullname="Richard Barnes" initials="R." surname="Barnes">
              <organization>Cisco</organization>
            </author>
            <author fullname="Subodh Iyengar" initials="S." surname="Iyengar">
              <organization>Facebook</organization>
            </author>
            <author fullname="Nick Sullivan" initials="N." surname="Sullivan">
              <organization>Cloudflare</organization>
            </author>
            <author fullname="Eric Rescorla" initials="E." surname="Rescorla">
              <organization>Mozilla</organization>
            </author>
            <date day="30" month="June" year="2022"/>
            <abstract>
              <t>The organizational separation between operators of TLS and DTLS endpoints and the certification authority can create limitations.  For example, the lifetime of certificates, how they may be used, and the algorithms they support are ultimately determined by the Certification Authority (CA).  This document describes a mechanism to overcome some of these limitations by enabling operators to delegate their own credentials for use in TLS and DTLS without breaking compatibility with peers that do not support this specification.
              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-subcerts-15"/>
        </reference>
        <reference anchor="I-D.westerbaan-cfrg-hpke-xyber768d00">
          <front>
            <title>X25519Kyber768Draft00 hybrid post-quantum KEM for HPKE</title>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <author fullname="Christopher A. Wood" initials="C. A." surname="Wood">
              <organization>Cloudflare</organization>
            </author>
            <date day="14" month="May" year="2024"/>
            <abstract>
              <t>   This memo defines X25519Kyber768Draft00, a hybrid post-quantum KEM,
   for HPKE (RFC9180).  This KEM does not support the authenticated
   modes of HPKE.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-westerbaan-cfrg-hpke-xyber768d00-03"/>
        </reference>
        <reference anchor="I-D.cfrg-schwabe-kyber">
          <front>
            <title>Kyber Post-Quantum KEM</title>
            <author fullname="Peter Schwabe" initials="P." surname="Schwabe">
              <organization>MPI-SP &amp; Radboud University</organization>
            </author>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <date day="2" month="January" year="2024"/>
            <abstract>
              <t>   This memo specifies a preliminary version ("draft00", "v3.02") of
   Kyber, an IND-CCA2 secure Key Encapsulation Method.

About This Document

   This note is to be removed before publishing as an RFC.

   The latest revision of this draft can be found at
   https://bwesterb.github.io/draft-schwabe-cfrg-kyber/draft-cfrg-
   schwabe-kyber.html.  Status information for this document may be
   found at https://datatracker.ietf.org/doc/draft-cfrg-schwabe-kyber/.

   Source for this draft and an issue tracker can be found at
   https://github.com/bwesterb/draft-schwabe-cfrg-kyber.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-cfrg-schwabe-kyber-04"/>
        </reference>
        <reference anchor="I-D.wiggers-tls-authkem-psk">
          <front>
            <title>KEM-based pre-shared-key handshakes for TLS 1.3</title>
            <author fullname="Thom Wiggers" initials="T." surname="Wiggers">
              <organization>PQShield</organization>
            </author>
            <author fullname="Sofia Celi" initials="S." surname="Celi">
              <organization>Brave Software</organization>
            </author>
            <author fullname="Peter Schwabe" initials="P." surname="Schwabe">
              <organization>Radboud University and MPI-SP</organization>
            </author>
            <author fullname="Douglas Stebila" initials="D." surname="Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <author fullname="Nick Sullivan" initials="N." surname="Sullivan">
         </author>
            <date day="15" month="April" year="2024"/>
            <abstract>
              <t>   This document gives a construction in which (long-term) KEM public
   keys are used in the place of TLS PSK keys, avoiding concerns that
   may affect systems that use symmetric-key-based PSK, such as
   requiring key diversification and protection of symmetric-keys'
   confidentiality.

   This mechanism is inspired by AuthKEM (and could use AuthKEM
   certificate public keys for resumption), but can be independently
   implemented.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-wiggers-tls-authkem-psk-01"/>
        </reference>
        <reference anchor="RFC6962">
          <front>
            <title>Certificate Transparency</title>
            <author fullname="B. Laurie" initials="B." surname="Laurie"/>
            <author fullname="A. Langley" initials="A." surname="Langley"/>
            <author fullname="E. Kasper" initials="E." surname="Kasper"/>
            <date month="June" year="2013"/>
            <abstract>
              <t>This document describes an experimental protocol for publicly logging the existence of Transport Layer Security (TLS) certificates as they are issued or observed, in a manner that allows anyone to audit certificate authority (CA) activity and notice the issuance of suspect certificates as well as to audit the certificate logs themselves. The intent is that eventually clients would refuse to honor certificates that do not appear in a log, effectively forcing CAs to add all issued certificates to the logs.</t>
              <t>Logs are network services that implement the protocol operations for submissions and queries that are defined in this document.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6962"/>
          <seriesInfo name="DOI" value="10.17487/RFC6962"/>
        </reference>
        <reference anchor="RFC6960">
          <front>
            <title>X.509 Internet Public Key Infrastructure Online Certificate Status Protocol - OCSP</title>
            <author fullname="S. Santesson" initials="S." surname="Santesson"/>
            <author fullname="M. Myers" initials="M." surname="Myers"/>
            <author fullname="R. Ankney" initials="R." surname="Ankney"/>
            <author fullname="A. Malpani" initials="A." surname="Malpani"/>
            <author fullname="S. Galperin" initials="S." surname="Galperin"/>
            <author fullname="C. Adams" initials="C." surname="Adams"/>
            <date month="June" year="2013"/>
            <abstract>
              <t>This document specifies a protocol useful in determining the current status of a digital certificate without requiring Certificate Revocation Lists (CRLs). Additional mechanisms addressing PKIX operational requirements are specified in separate documents. This document obsoletes RFCs 2560 and 6277. It also updates RFC 5912.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6960"/>
          <seriesInfo name="DOI" value="10.17487/RFC6960"/>
        </reference>
        <reference anchor="I-D.ietf-tls-semistatic-dh">
          <front>
            <title>Semi-Static Diffie-Hellman Key Establishment for TLS 1.3</title>
            <author fullname="Eric Rescorla" initials="E." surname="Rescorla">
              <organization>Mozilla</organization>
            </author>
            <author fullname="Nick Sullivan" initials="N." surname="Sullivan">
              <organization>Cloudflare</organization>
            </author>
            <author fullname="Christopher A. Wood" initials="C. A." surname="Wood">
              <organization>Apple Inc.</organization>
            </author>
            <date day="7" month="March" year="2020"/>
            <abstract>
              <t>   TLS 1.3 [RFC8446] specifies a signed Diffie-Hellman exchange modelled
   after SIGMA [SIGMA].  This design is suitable for endpoints whose
   certified credential is a signing key, which is the common situation
   for current TLS servers.  This document describes a mode of TLS 1.3
   in which one or both endpoints have a certified DH key which is used
   to authenticate the exchange.

Note to Readers

   Source for this draft and an issue tracker can be found at
   https://github.com/ekr/draft-rescorla-tls13-semistatic-dh
   (https://github.com/ekr/draft-rescorla-tls13-semistatic-dh).

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-semistatic-dh-01"/>
        </reference>
        <reference anchor="RFC8879">
          <front>
            <title>TLS Certificate Compression</title>
            <author fullname="A. Ghedini" initials="A." surname="Ghedini"/>
            <author fullname="V. Vasiliev" initials="V." surname="Vasiliev"/>
            <date month="December" year="2020"/>
            <abstract>
              <t>In TLS handshakes, certificate chains often take up the majority of the bytes transmitted.</t>
              <t>This document describes how certificate chains can be compressed to reduce the amount of data transmitted and avoid some round trips.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8879"/>
          <seriesInfo name="DOI" value="10.17487/RFC8879"/>
        </reference>
        <reference anchor="I-D.jackson-tls-cert-abridge">
          <front>
            <title>Abridged Compression for WebPKI Certificates</title>
            <author fullname="Dennis Jackson" initials="D." surname="Jackson">
              <organization>Mozilla</organization>
            </author>
            <date day="6" month="July" year="2023"/>
            <abstract>
              <t>   This draft defines a new TLS Certificate Compression scheme which
   uses a shared dictionary of root and intermediate WebPKI
   certificates.  The scheme smooths the transition to post-quantum
   certificates by eliminating the root and intermediate certificates
   from the TLS certificate chain without impacting trust negotiation.
   It also delivers better compression than alternative proposals whilst
   ensuring fair treatment for both CAs and website operators.  It may
   also be useful in other applications which store certificate chains,
   e.g.  Certificate Transparency logs.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-jackson-tls-cert-abridge-00"/>
        </reference>
        <reference anchor="I-D.ietf-tls-ctls">
          <front>
            <title>Compact TLS 1.3</title>
            <author fullname="Eric Rescorla" initials="E." surname="Rescorla">
              <organization>Windy Hill Systems, LLC</organization>
            </author>
            <author fullname="Richard Barnes" initials="R." surname="Barnes">
              <organization>Cisco</organization>
            </author>
            <author fullname="Hannes Tschofenig" initials="H." surname="Tschofenig">
         </author>
            <author fullname="Benjamin M. Schwartz" initials="B. M." surname="Schwartz">
              <organization>Meta Platforms, Inc.</organization>
            </author>
            <date day="17" month="April" year="2024"/>
            <abstract>
              <t>   This document specifies a "compact" version of TLS 1.3 and DTLS 1.3.
   It saves bandwidth by trimming obsolete material, tighter encoding, a
   template-based specialization technique, and alternative
   cryptographic techniques. cTLS is not directly interoperable with TLS
   1.3 or DTLS 1.3 since the over-the-wire framing is different.  A
   single server can, however, offer cTLS alongside TLS or DTLS.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-ctls-10"/>
        </reference>
        <reference anchor="I-D.kampanakis-tls-scas-latest">
          <front>
            <title>Suppressing CA Certificates in TLS 1.3</title>
            <author fullname="Panos Kampanakis" initials="P." surname="Kampanakis">
              <organization>AWS</organization>
            </author>
            <author fullname="Cameron Bytheway" initials="C." surname="Bytheway">
              <organization>AWS</organization>
            </author>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <author fullname="Martin Thomson" initials="M." surname="Thomson">
              <organization>Mozilla</organization>
            </author>
            <date day="5" month="January" year="2023"/>
            <abstract>
              <t>   A TLS client or server that has access to the complete set of
   published intermediate certificates can inform its peer to avoid
   sending certificate authority certificates, thus reducing the size of
   the TLS handshake.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-kampanakis-tls-scas-latest-03"/>
        </reference>
        <reference anchor="I-D.davidben-tls-merkle-tree-certs">
          <front>
            <title>Merkle Tree Certificates for TLS</title>
            <author fullname="David Benjamin" initials="D." surname="Benjamin">
              <organization>Google LLC</organization>
            </author>
            <author fullname="Devon O'Brien" initials="D." surname="O'Brien">
              <organization>Google LLC</organization>
            </author>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <date day="5" month="September" year="2024"/>
            <abstract>
              <t>   This document describes Merkle Tree certificates, a new certificate
   type for use with TLS.  A relying party that regularly fetches
   information from a transparency service can use this certificate type
   as a size optimization over more conventional mechanisms with post-
   quantum signatures.  Merkle Tree certificates integrate the roles of
   X.509 and Certificate Transparency, achieving comparable security
   properties with a smaller message size, at the cost of more limited
   applicability.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-davidben-tls-merkle-tree-certs-03"/>
        </reference>
      </references>
    </references>
    <?line 959?>

<section anchor="open-points-of-discussion">
      <name>Open points of discussion</name>
      <t>The following are open points for discussion. The corresponding Github issues
will be linked.</t>
      <section anchor="authentication-concerns-for-client-authentication-requests">
        <name>Authentication concerns for client authentication requests.</name>
        <t>Tracked by <eref target="https://github.com/kemtls/draft-celi-wiggers-tls-authkem/issues/16">Issue
#16</eref>.</t>
        <t>The certificate request message from the server can not be authenticated by the
AuthKEM mechanism. This is already somewhat discussed above and under security
considerations. We might want to allow clients to refuse client auth for
scenarios where this is a concern.</t>
      </section>
      <section anchor="interaction-with-signing-certificates">
        <name>Interaction with signing certificates</name>
        <t>Tracked by <eref target="https://github.com/kemtls/draft-celi-wiggers-tls-authkem/issues/20">Issue
#20</eref>.</t>
        <t>In the current state of the draft, we have not yet discussed combining
traditional signature-based authentication with KEM-based authentication. One
might imagine that the Client has a sigining certificate and the server has a
KEM public key.</t>
        <t>In the current draft, clients MUST use a KEM certificate algorithm if the server
negotiated AuthKEM.</t>
      </section>
    </section>
    <section numbered="false" anchor="acknowledgements">
      <name>Acknowledgements</name>
      <t>Early versions of this work were supported by the European Research Council through Starting
Grant No. 805031 (EPOQUE).</t>
      <t>Part of this work was supported by the NLNet NGI Assure theme fund project
<eref target="https://nlnet.nl/project/KEMTLS/">"Standardizing KEMTLS"</eref></t>
      <!--  vim: set ft=markdown ts=4 sw=2 tw=0 et : -->

</section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+1923bbRrLoe39Fj7LWGUlDQiIl+aLESRRJjrVt2RrT2T6z
vTwWSDZJRCDAQYOSOY7nW84PnJ/Y+8dOXfoKkpLsuazzMForMUkA3dXVda/q
QrvdFnVW5+pQPj89b/dTrYbyaF5PVFFng7TOykKOykq+edGTnWRPpP1+pa4P
6RZ4QAzLQZFO4elhlY7q9kDlWfsmG49Vpdt1rtsp3Helpu3dfQGjqXFZLQ5l
VoxKIbJZdSjraq7r7u7u492u0PP+NNMapqwXMxjy7PTNU5FWKj2UvdPjo9en
R+KmrK7GVTmfHRJEb+FrVozlz/iTuFILuD6EB4taVYWq2ycIlBC6TovhhzQv
Cxh1obTQ07SqP/xlXtZKH8qiFLPsUL6ry0FL6rKqKzXS8GkxxQ/vhcBFlNWh
kG0h4S8r4KE3iXzL66TfGAlvJuU0+rmsxofy4o+9SabyIf0yyGrAwMvs16ka
q4J/KudFjXh5M1HypQLcVzkAzCOoaZrlgCcY+Uf8n0FuUuQigqeXyGNAfgBM
rxz9z/9N/a8Ey09Veq3wUn0DmA0gepHpftmA5wJwMR+neQjIAKBTxVV5/WOV
aTWfJYDnGJKLRPYGk5u0rwJgLhRsSfQ7gbPxOh32y/lQ/lJk17AsAEXC0uX5
xVm7d7ERTjzDEX4cVItZXf6qhlkCA8QTn8DEtepneRpMfFLOx3mqoys0dTBj
OZJvgTirvCwDjGzY31ry1cuNGDPHaZEO0xC8oeYJfpzfmMeSQRrD9xLgm+d5
dp0WAYAvs8FV/LsZscgGkxJAT7S5+IdM1aMfx3g1GZRTIa5VMVdAltKwBDDc
zRi+MvvEzCGlIaRc/4jjEPrgyayezPuHEngUruzczsVCFGU1BaFwTbO+fnr8
aH//gfn4uPNo9xC4Gng7vufg0YPHh+Ib/tzFm6Ts9d526QMAy9Jn46LUdfuP
87So51Ni7hsArZzX8hnywiS9ArLNxkVazyuleTuGgOlD2d3t7rY7HfrFcSr9
tVfSxe20cR/6cCM3SP02cr+b5NOP8gL4HqjhrNCAlXmtSPT21GBe2bsuKqCE
wWIjhqMhjG4RSLeBwYNqVWVK4zZaNG4cHZ/L4+MeYXrD/nry6uxQdnaTTmf/
YGdv72G3+/hhsrff3ds72LUPnh0dv5YKYC7qjUM5qeuZPtzZydJkUO3gYDsH
e/uGGjoxNZyXlZKno1E2yEAToW6yJAEoUO3eBKTXUD5XiyYpdNq7B/8mhX8a
KZz2Xr0+Y1LoLJPC7u7DnccPH7X32rt7u+1Hj/Y7j9oHHzr3JIfOzsOHj+He
42dAD92YHo5kneYK0V/flHJaDlUOiyVRk0sAOhtZawVuMdSSFfJNCpo+Kxo0
0m3vPlpPI6Em9ehralOHvRUa1Q31H4l8Vi5QmTdG+48SBNkkLZYu05DHOezG
KIfhWkAAg+RfRcP/Otrp3k47nXbnYWd/r/3ww/49aae70+mQDgAou/u3a5YG
Ney3d0FoPF5PEF+BlmWsrEPKxeQEjDv4UcOyNuy6YktvZzbv54a+d/jmHVzE
y7Pem4s/HkerjRZ7TNbSuEpnkwWQBRBaWg2zv9JADQ26fvk4S7y6lzQAMF5D
OpkJNImnN2owKcq8HOPSn7/tPLDDun1Bc/fVBXLqRVWC8V3m/CC7GlauORg7
D+wvARrx0YECc7AYayTs03lVyt7/uojur9NqrOplqukcIMXZu+LFG8ON/ggN
zxL5vEpvBn9dXPkrTAfP5uNyxUXC1dlP5/K10iqtBpNbhn6r1NKoJWgOUAHR
JRrz9GWvJY9fvob/n718fXZEaDsu8/m0n6UxzT1vCNKLMl8U5TSDzTuf53U2
y0Mvby3xrKeO8wSl3PO0KG4yjc5Bg0fO07qeZCCV1tx1G7s09+3KP5+oueWE
Jdm+3+5217NbcpJsHBqWg1+fHr04fvXycOV8ozQflEVbg9mZkM8aIPIpXVuP
l4ukfZTIp+X8L/NVSmE0An8hK5ZsiOcZ0Enh8GMu/GciXyzm4JxP1LW+WiyJ
J3DUiuZg8PPrbFBqDf5ZdOFn0B8qy5tzvAUinCzqBrD/lcj/Aj01bhhZiLiz
i153dy+irvNyOM9V+wXseTZQ7Z8omgBGWvu0GKQz8GOY1M5BNKRFpqdOZNwi
fZZlDbD5LaJm1bZbJfNgt/toB+VZgtAnAL5byP7dCznJwFsCSJwb8v8B+KLd
bsu0r+sqHYAf/maSaTksB/MpWs1j4CaYAtxWmLyaDxyfp7gpct2mbIL9tMWh
IAp9BKGgqbsJjSsW1ImkWWdVOSs1rDR4BGafKWBoeQ1yKQUncyHURxxhrPB+
kvktOdfopsJDWSXzshi3wTYxUEjWfPikTnix02w4zJUAh/IMfHHYJ1qWENvb
L0sgz+1tBifDhWO4qJ0VbZhrDF6j5igVSlt5o4B/p0oOQZ7MKejUkiNQJP0U
RC5aZIC0usr6cxxdA3TgRY8nCCXFpdhDNR42ud/kX+O3PNM1iDUYuVKDOgd7
qxA/Z/WzeT+RR8UCdmMIqy/BkAEoiyHhaSj7Cxg7MxBKMP1oo9THGVADbiZo
tyJftAg0DX5xPpRFWcu+onsGOERd4lddp/1cJfemBR/2a+y132Hx6dPvjLP/
+XPSDA9O0tlMFWaP9WI6VYC3gRyEtgetTsFOp2NkAAGTAjBDEPZ1RlNruu53
H24I9x6BwRuO8QEy9WmFDB7uNVyH/VXFQMEaUWDDoPCgXCI3uZmNDMUN/GAr
qX1raakeJURfg0mmrnnvcEpDxYAQE7AQwJWFHlTZrGbXdWgkiHaBDJnm4xJc
uslUJ+u3AoC/zoZKN9kRJh4CfVzjzLBsdoq1GlSqBkjSGqFUjstx3HEKYgkv
KuHRi0RRwwW4YQWe5SsgPF5YmcN05IRNEKPgf4I8Q64elBUsZlYWQ0JCSTcE
+P29luF04PgQ3Iru02AoxMALFIv1ZA70q4iOZFazKIGBprDRQEbakjiQX1XC
Xkj7GQBLjUmqiqHhNELHBF21Bmmh+ELWFrURG+BiV4BjWHNFHliwDE2gA5Nl
Ws8BWtrUzdPjrZNnEbWmWmhgSngKbkI4EOkpEifg99OnH4iZOrufP7dQUDA1
prDWXI0bcrYl9RyWBgOaqzAgYGiIRJDmGgc7a58kGNGjSJ2e9xFeDXwqxFnB
MsWK5hZIPdmfZyA7SoTjdyZsh0xNqNRGLwU4QKkD9IFmmTjJRrCi9jOV51PE
A6t3YOUWjEpEJUdZBeQ1QzvyL8aO9BTO+E/zSqXDhegrBZQNzwGCbnBSs5Yb
BaZR1U/Toj0YVeP2ZHal2h8XfVU9fPBouOuhdRpnroE1zl+0cWffGbvkvR2O
xtAcfmlf4TCIdg+rBryS+HRwIkAiEh6GK1D1xmvTsU+FIP0Ko8l3xjV7n6Ds
dDuUp9OZZiDaIVl9/gybj4KiDyQ2KW+kWQwRkyE54GNQHEMBsPzv5GD3cUSX
sNnffAN+xnWmSSSDCiqrBehE3lbF4t7oDRisUtMSJRewChAg8GvgYSJ/p4Cc
giMr2vyElCSsOkm2t0Hj+gnvzv5IuS17qHDnsyFxEkzKq6RLT7OPyP14AyjR
K/0lg+/RCEfaiH2vM2EBgbKlu16rNmptuO3ZxfNTuDwFCmR/+Atm7PJywHmq
5UXveWAWgWEP1AJrs8S84vGZvvr8mUY4HWY18P6XTN3hqVHd4N6DZreD4O+/
aGUXVtTqY/0lI+/SCGdFhpLF7jzSVUBYXaKzX0hgNTgEmDYdIqEEyo1szUhl
ocwGWs5z0InZoA1yBiUCSHugtwz08AgTZUYJRhPgPW7kQKYIEuxoL3mZdQO6
Ev6ZkyaFK7AW1NDTLE9RFMPHvxrgAqHdEoNsBp4lok3H04GOOMKfABpg4Bx0
wuveUaTE0VxLp+Vcw7Qbv851vSHwFuBZ1F6kqsGuRCnn1Bavy1k2sVhRNW5p
wg65/bWJD7EKHyxjdUAfQ5DamLMb8GQZroC4oyajF5iFwqhwXcDY6EcA+4Cz
MtBkbdK0MfYJf0795rqUOew9sXQGK1awezQVMR/eDO4yGbMGew4EJKNJNp7k
4Be4WP/MhyimyyGKWQMjbRV5MY4TrT5oQD6YwMQoeE5ge4yu2H8P8vAv8wx3
MkAcAGVRVzsjQwFSwObDPXP+QIB8JIRKsa317nm3C/Jf/GLdG2+Dsuay5pa3
+vO8vCE0goafD9g6QrICAICxQG6mzn9iu8KZmg02S+RZzTsTjtkGjiDTL6YB
ZyoSw5DZNEM0VbADEc0ts3MLLRNEcwlklLKrVKlZng6UNYmNskZDjgmDTENL
GRbz5OKAfTLJBhOBVivZTwD8AvGprpGQUU0BBllbx0sADn2KCgs9pAY40xRN
DTnFhJInMgq+GwjNtOBZjid1OHMKuw/KXE37aoiqF9ZVI68YdXt6neZzpzL9
VhB7gO7tLanbvhohGCR19ASmRjV6xgJgVOJOEamgA0e2GqonJCmykklowUTG
A2kTaZs6DOO/OBg0+bhja2GTH2JqKyKM30pEYjOw2f/guWiL5UJgf6AwA1Le
zLDwYqqGZH8fH4W3hO5GzJN/kFUJnuxxIFG3EhIYA5DXWb0gVCAa0OFF7xq1
XSgHdmB9qAQp0DJZ9KsssOb0t/Q48gIIldpLCO1M68DbkW8QVYj0YrAwpvqD
xw+6YKEBQK+Oexdo883I0XdXySR9i+6tMmKnDaZqqBNpA6dAVOA+mTsOOl0J
84Dvg/lBkPgt6wUjicFPYG55lTY30iIybobAaeWCNpIR5lUS4QzZ/SQDI2WS
zadi0xur7HGzFNxiY3gDTMFpWi02AjvYmcbgZ5Lti4ZxrKiCCWHEG1Ds+C8H
R0G+UnD1fSsWkyxvShStVIpDWFlLHkT37GAwmxIkNnDizGNG0EjgTA3xFhG8
uR2wDkz8W1BcAJ97xAABoPQbshhgAOf6LXSMDdHbKz1Ah/wNhrQRAviGdkIb
FMwjF7+H3w66wVf4/vDRvpSb9s6t4EpnD2ikOaTb0HbX3bj3cK8bDvmgc9CV
m8GdW/bK40cwW3NI3i6iSD/3wYO9cMhut/tYbvo7t4LJH38dlOuHPHj8oEND
GvFGPz4ntwkZKxzi4T0X/mi/u/9VQ66Hcv/gAQ756ZCjxk82eqjQWGZnmrUC
k3Wboh5hQCyIJAViXAYCfEN+FgJDmswuaW4sDvsYxR6Cnct0IGXAr+WQA9jy
pKeFYUm4i6xhoF24rRibcI3jmMOA88aqMFrU20ebampNrXK0JR7st/sgU0d5
mZIxR55WqH3JCmRIAEtTRYaJtRoJErSxsgEYegCHMPrdxalKLIYDkIaqjVK7
UCBe6hpMaW2lZWVVg7wqyhs0AAFPQ1SUYppqCs/y0mHmArQHqngWyFr5uTMU
MSgu4VKI0wLjH1mhRKjdndkPpoUNwt5kWjlbz+7m0hYVzbiYkSEVlnwV5GLA
8tAEB80tyhmbWJPyBkzO6nDpYYxCUVRphklQjVJSDVJcRkZInoKoxhDOaIRr
AAeH7BHYnAlYzBQrVjX44whXKm9gMd7CorkszcTi1OyNMBuR2Ns84UT1GADH
KIWtRDIfloA1xJihJ2EJp82Ek5LYVWCAgMd1XWYUTeQdcLFjB5XnIEudAmtD
Goah076roavKOcyPu58lKmlZzwC9K56nhaGyupzZcWInzGoKDrYBS1knR7ec
0WafXN52sGTgiSGYJQWHROAuWJMntlZojWYjudZQ6R2/QbukNkoOOQI8sXwO
VmtLsNrMtLekLSFykMAC+Fb1L56fYXaS6I2jhSrHGLdxEUbCxtwiLyW0Lp2Z
unrJZmaeSlgACF67bwAy425GXkR6bXP7lq1oHwklQO7lVAnyuIBj4JccU7gV
ERtZ/IE/RyaaSfew15UV4t37zW8QyjaKbUwRUdzfRNPYj8N4EYdBqFhBxLFH
8NxucCQ9y4ysHFXldDkuqwBBSJKD9nCCAUi7KRjPg+XYaGrJ+OGyCDdJUIEN
buXbzoP3wS6xKHMbIww3AEsXIHfIJGeBEtEuSROM7E77yF20Wzm6RlGoXpAI
o91Q1TWF332OBq4b5w72rkTXjkIkQA6hyUUTCe9RknVHmODw5vkvYM4Zx5RT
AY6rLJbqGOMgREQgREBUDK31j/5fpBQia9UTL3my4jb8BOEkVGCggSrjHDdi
vgRkroTG3QDwOLUFs5utBLmaMPkcWxKLc096tTel5aclygSLwDIB855eESKw
eBmu8NeN1ERdCHQyKMdFZv1Xyr8h97gYDt4ce7XGFAEORHSlQ9ZQqGvXeAXA
PKhy2JFuSYsjvxEUrWpmAkxML5s2QiFWmkbIMxIF2cMBm9gky6OHjz9/NkKL
058hmj1igwiu48PwsvcmW4JTHZwrQjIkK2ai8tlonq8BGGNcbYXp6tkiThSF
UTxQpRdevDofaUmQ8QxOu1mJK5ZJyGWPrDz6FTU2UD2KJCKuFJ3lsQKJJJoi
awD/Q0llfr8CvZYW6VXGYWM9SHUbBaSu8SZciLlxCBJ72Fc8CfD8Va7adaVU
2ySmSE2ivcOxHUwxceAf/V5cB6jkdjlq98liAKlps/C42CjCENEB0Dpbi3Sk
BAAaTMqKZLyxbRChzo4FLin7eB+nI/z+G4k2RRu8KVoN1ELPM4rREIN5dWbD
tt96Y93SCZm7LEbpFpuOpCkEsR3AUsynfc6vRisbzpVNqZJStxmZWOmLKFiB
uHvVOzbRCqXjYIUXI0jkubEaeLU+0hkrax+UflVQOhatbbxM5iCzrB2VfXuy
jyn0NsTVmWDW0K6FhY2zF8JYEVNvIn8ip18VVk2ZjGvImRgmCuhez2fLPK2F
ZQPYFrehPttdKRMgH3Ig1hhvjs2WBaEgqDjSidsZurv9ReBX3hZfM+aLFiFv
k3XNBsiragzgm2pNcTTCOFEqgWEV8YGrfUGEchb2Bh0R4C57laWQ3ZVGdC8g
+WawzVpJ8yJDFrdqezqv53GBD46jFYaxauBkcrEYc8gpQa0AodXD560wUNIK
XZe0WjSj0ga+QSDFgmxeCy0NVeBGw+dC3fjoui0QMFUEiq6ibsfoP9Z1JXTS
imPuoNzJTtZMWunEjnsd1gahWHLWs7ZV+NYwMCFo2CMX/Pf6JK6xueg9b+t6
kQdVIiQgzFREk+Ku3CGSB1gTxTXuQlmwATFUlELD75xkwxXjeTgtN9DG2mjx
v/LlK/r8+vSPv5y9Pj3Bz71nRy9euA/C3NF79uqXFyf+k3/y+NX5+enLE34Y
fpXRT2Lj/OhPGxwk3gBL9uzVy6MXGz7XYUuSKLJNNUsk1YFvKQ2PpQ6cCycG
/en44r//T2fflCt0Ox3Q6ObLo87DffiCvMizUbECf0XrVmBlEqf8UOcM0hlW
33DoQE9QfqGpmIjvfiAPs/3gh+8Fcd4b0DGZKckjXAbBebjE9t3cFy4tjMcl
w0IpIdigPhR8ss/WokjaprS2WSG0XICSCk7Sw976L/joEftXsxK0dZ4ugKf8
dcBdfYPGEzq+rtYFhrCfcYDTjNWis/BRZrI57/y0cHpHmDR7YcDNgYvGpQkn
uXnNgGTT84ikBxQVoWV6wjpUuDi39QwzgGDe16CNFSHE2OBIy8iGxkoVAkt+
DBh2SYmUb1H4Wuak0hmYoMZATupLfoAy8ekNlu7aaB2HGZf0QhPOlDNh/Bvh
ohIOtKYd/wMoYC4rrE5ugOPG4esIDhrWnOjVCoXguieM38wGQfhQZaaJqMbY
L1Rk5ZWopSVvwzfIieIavAkq2HDaN1Yzt5SCgiQ50g33q8KIABjuCsw8Nt6M
7iFXzaZpwFoec0KO+QSUIgDWElYDmIo2p8+wwOg6AzltKk1oOzL0ysDeIPoN
wqfZQAQhRhqvrwIRSjqLxPGdZa5cJxqN7admnJNgxeDSRLno4uWlH1VdXhID
XF6eqOA3owxtcpeUH6mWIRta8RLIquFgiNGnFEwB27cYa0rSc11HWLR1KMSn
w2sKk3wWEUSbs6vXLTvgBx5l6/KSaIo0Thp4ISw6Z2ww6KU6QrwY5diTeNpg
0ZtwHyjrO+auiarDPbF6OqgoTORrhWERE9QOIYL53wbhImO22p0JC3XJFeft
G3rpzMhDBlIfUaqKaPTlGkIuz3OBkGfPT54GwUfYhL/97W+gskYy3oAlHGA1
NyFoUH+UT2g7kx4scobV5T16YgNUfWePDKw2aPuNLXgEzKQn+EhyStBuxqO2
CJ7khSrG9QRvrwht0myF3hIE2opNWgmfeTqG7bV/ZBWAwd+9YER0iefk/fok
A6pSJjQscmPHKgwrBgqY9ZWzfcheiisZlcTMPLsVlzEslzSppwkKAKJhFVSC
aQwAbm+/moGWAQWlSRNvb0uTz79BAlUzQxeIKqri/JW8SY2Z1ByM3w0jFlOC
EIG2ItEdZi2rK/2DvMgp1qIVG+uBzQmy590ZFpqKb/a67zftqRQ+so0nwHfu
dWp7h4pV9c5elwKb8ukc5GUnOWi/fvPG+QY+D2rPYgnxNBtjvLyDQeDyhiwm
ZkcwZUF0oFHbcGg2zXBbMghhm3PcwtoK0SPMPkARhoKO+ab7/PVITxIpSfln
8yTWppbi9COoot/kH1CSfCD25vGvwzKGD0ER2fpZ2ubv+1vuWQscQYPAAYxf
9nwAOoKNC7rPAN+dcsWZGp467+iLIP8uSDF8D5DbZ7+DXY0U6fcBalYP9Zt9
9tNTsFLAFhx+9hfvepYI0w7w7mjmi8BO0jp9f//JVy7SPux/CmG8FrdN/J2f
ePmyexI2EPS/rVEAi0gBu9eTReC1Asu7VEwILfhB1xmXEuJzQ+vPJu6m774P
xrbeblAbNbf1mRFhc8X9kPMTqXzHxun7D45VP4DExXzoB6tnHXI+//3zhVfc
1OFRoeE9AHn3/u8GxM/t964x34eXidtHKwMPwXCk6eRTlIXWqW+cD9m0v20t
k5+XsLaxxUqBmBh5yGkmlrQ+gAQMyHF11oKVCvJiCZ0xMwVH9kyBk3YC7J0Q
3fFJlVboHgYnRpbNQeNGuXRQGHzzNmVwaCT0C/EAif7iwyNfdHQkYcTFQGNA
lwrMqTQ7WjksYTk0ZBDhMk2UpYAnb9KsdkFfh4LLSys8wBMwVGlL/eB+BBmJ
jpIziQjGx4oFE+nHgKp9FB+gSAY6NcrIc0z/Bui8AbsCQ9C4rQE+Gvo4xkJ0
EsjIncvLpmD3awAuWLU0tttIeJFxYy1h9iPMoSg5mlMyHHksq0WTxtHvPF5F
/mB1UCxyxaVWuH5EKFPS5WWgsl4rMtg8sIJBjA+wcYQ/wLYp4ojEkQ0O205X
PiyyMoyJ/ogBVLPBlJDz3Ji85Q5j7Cf7SbeF2+oiV1nonJuAAlDg6hW2kLYo
oEfElcaICHZRnoXDCkw6FKV0OYyA0e47pD0vhnWYMFR0EMXOZvYJWRGQoukk
lPOhjPc/bE4u/OR8DlPeRp+tAI4VXmVdiiirHczFXA5CB0t/4OG7pAVKqVBC
0LE6zaX/xcIzBjGFV0Kx5snMMQUMdaihMEcilzjjTRCxn0Q6YzVbILhY6EtZ
CqOuusm/zeqVf/9IsxoBMMi6z9TfLTPx9wjDBcZGb0PVrSN5G/3PK230O/6M
mfyb/BSMac30O01sqoz9bTWM3sT+1ATrc2zfX3+Vg/DP9g2Cn/7tG/zbN7jF
N+j+o32DOxyDJQWL1ssKJbtK8WlW8Ud/akk2OgXaMLAusq/A2MSYPCg9VKxZ
McegFWW8qEAxNpxJ02e1eQjzK8I+5e0IzA3eV527MLAxVIKkEo3FETplNb09
WGcOXFtzjZ9okz0VkZBYUqpsBUQmjqvEtdWTdlh/kp+essEst8hU6/mUzH20
r6igKZoda4OxM2I9LyhV3nI6frVS94UqrqSunBfDdg0gJIKVsnEd0ItYV6Jn
PCdzlhg3Xg4mJdZAwCbb02Dc0zUjo3fZ8iDrdDYj0OlYICV1tIo2K6reQNdE
7mJ4sZ1nV8obosbudi1EviLtTWWZnIb3ILqEvymSoNg/Zn7Cw6Osqlndcipy
Nkm54tuWVsbusFhObvrjrlN2bJpE5psT+Jx/s2nD3B6CY+dVUarRCSxF5WRY
Ks+7e1eTChIASgGpJmAecdMB2qJDPKDdMOAPJbu3gW9tEoIuzUg+HNi0s/iI
OuYunHZKZOxCEReA/4Tnq1wvE0caseM6zKhxCSY2jI+xwrlxI29SEwhz2MfV
TQWD85F2GA2FYBTf4HKOcK3mVJkh8VaD82kRhu1hPKpQWtOOJAkLsbVbPpJP
ziIjHWA2l2rzEQ4Y7xYnEP7jvVqWjZj+p6rUOF/mu3g0mmw4iGHGMMPHydkF
Hq4mkbKWfpuZNixDClKzCEt4npiQbNblusXAWl7C7diFllMwl6ucAxD8RlPq
BJ64iJu9xPWxFXftCHqlmDmWZMBKLOLdtiLGunHk4nmtEacAyRpY5Z3xOE23
ODP2mrJegiW+IgIxVlp2MEvIFNCI4i0mhOSZZ+UjVPK7dCupIQIqHJI39Mxs
PmfcPtovK87p09hNlkMlYksXbLTOTGrAmKS2DkKRcRUFDKMlcn8agzTTlYdO
4WN4Ag/3Yb1eXBsvnF3jBfPvo2ZCM1fP5/YXdsz7sZyvF5eXgTcZhLeMWbD6
KoWLzIEcEzYSMQcFW7EyMOhoyxtwfCIFJTiaFhQ5i8JJtiaCUpeBxqRhXE/Y
46gazYoYNDxmZFDY8pTINlzq78U4iGJtJjjL3C4wUrlqYa4ChAOAeh1lJTKG
R9wZS42C03cOL14HKw2UFDA21rWacyJgqo4yrOSKZo9rTPzpXCDDbGC7rIR2
PUyyOjrH/HN7bHJ96HE4r+xOLYUfv+VYYeosnXtRmbVKhTkqhodsTGy6z/E4
tFgDemAucKWO6+hRLFfdmKYzDetOvuMeaNw6SXzTefD3Z7Q7D7bwUI+4MXl5
7ujmurjVVN2HR+ytvRzbv4zHwUDNTMeitd0UaFGvTl4d2hqAGmv+7BlkQsYP
pP6e5un4B5yRpayvZvXNmKzqXxdEDipgh6pOs9ydUw8sMGEbc7ioJJHmy6BE
zyeG/PpNcfDQ10qDWW8SGnReELw/MN5cpR/QYMZRfnL1buhgjVhqp7GJ5XfW
klyt7D3stGWS7Lp0iEc9sHoHFeXSsKaIYzPot9Hy1Zbk9TYe0VvCZmdurf3p
mT14mHQS6c/Y2i1BUxbr/MPGhFSjaKo3QFIcXZy50ZnOuA5IFfOp/ATW1xAJ
9cOse/AAw43wD7j5T76Xb346afmre4/28eoengBfvnrQ7eBVPpbdvPqxe3DQ
eWzHhqu7H5+e7naCG/b3H6163D98ZXpquatyZ5sZ764WXNs74jPX8Wxvm/oV
6jXhWA/pm7QBbYPvO2XdamQRquLEYn0f6rqTeOxpN0MalpSdb29J2h9bc23Y
osNdSOkk4fxY1pUPioZXQvMBTdNLc/w4C5jSzWWUCjcXEUF3mP7CYGXJuuXW
VczEF0t17KRLvHByhe62ZQvIMsuy1gY0YjsuvE2D0uJWnLyjc9mxZ+ptAe4w
6RKfqTluh0Xx4L8t2dtRQMcd+bVH/EKV+J9o+CwugVyW+EfKJOHgHhJs5P9s
7u1utaJbNoGeMaz22UfS3oD38S2++gV7XZoRo4tyqscf0Ef5Fi/tbAcIxl/l
NjcWngPjd/dlTsVr30ZRO3iGw0UoJbgNROZMKPs899CQm27uxM67ZaAKF4J/
A2SnpUUf0rUmrr9dGuHztyLAwrfMpUsk5XzWkPnAY0UH3cvMnvNSwQ2l8mHu
z2Mzk+DhLDtg6P0Wcl64tqQ8LE2Y9pE5ozCiMK7SxqV/5IMZ6xKbkQC1mKzY
LZSWeVmfalMsqE1pZkQC5SwFKyxkwA8V22UfTKHgd7tJ0v3zo3bn+/CBaC/4
ls4DuAexvbwppoCjmZGk5ma2UQNnH7nZXlRNLEfzwtRuv6EMfVhXunXpr7Oy
oqNlZjA6yB8nMzcvte5dYhwXPhxftsRQzVRhDtZzMhY2dsudR3YSJagquDx6
ZoY4h3+tk7zZU8qUTy7a1g7ZwhpDE6G+fb+I8kAipsZEba1wuL3w9DGmQvHx
Mu8BOWfmLu2RCColx14NkYNDY68JcxtXvhBIoEa9AIUGBBRQKSzcL4vBWrWs
oMPMPPDkvDVjFit4sdKeWmuoSgfM6mUztbFVJu5CjRv1lmicaXJgpP8dC7P7
Raf+6gwrDZxSBoLZ1Fu2LpaTLr/HSMAQD8nSyaq4zy+xCx+/MAyznrRoYtPU
jpcUFj9vXfq6e9wmZ+K5CM7tdemu+a0/Ih9EHgwSVy+EZjDBhRikmKNFyNHl
3RwtlzjahLrLyhj+sM1gEFhzvqKeEuwHfwHfC8P3WBV0i/i85G7MJntSmwZ0
RuINshl3XytlRi1sRwsO6QRYssFNe/S/KUSx8skVjZPZ4nWZK08jm24VTXs6
wXKuW6Yw2SZjkx1HB0TCWvF1BRvxEahKITR4xN1KT39cxp1txQxapawESgd0
2NL2GAdKw3+m6GRn2Mo31cY/pJgT1hu5GCdtIQtQ4+7jjpQViAuyOPulYcQY
JEvugSEUZL3IT+JjvrbLzLqb7f4bRQd3lFNrZrvABJeUeCMTkw5cxxLKXlBw
VHznOzGafKyF2rRj5CSDIMO1sSpzVM80YXgexoDRoqVw23L/Jfkp0mtB54XY
Sr7Esw3t04/UtcccBDI/zeCL523NO8ZGSn8hXNWcbQDir4Gzat6bRkkvd1Yi
SlZTr5topV6WLQMlQOTgw+0e3RyAlXBOiFkqB4+hRkeXe0cMh1xFSu65K44C
OsXdb0zipHsvzZFEXKiR+2jY5+nAuiO1M1wALhDvPje0LTfPnp9vBUME0/N5
0RTbMRrFAL4F1bGFaQlAFqW/3sTeigmXHUWxtuD1cowa3kS7aLTQwBCMyJzo
r5GCtrH56IQ+z9fraXdErNcbwGfsQW/U+VYz9wBUAstHJMv7wnp5eZ6yuU6/
tSIRb9BEZB4lQGb85hy9bDGHTs5u9C0unbmmb9gAuf29DKlBPpGnaZUvDEi3
DPEHLJaJSHMzackNPAfXpxPkG/I3uYGJcPMVLjZOHa0oQHpi7v5w1SgQu9fk
sLd2l2G6IHFwj3nZ6PugcPWN0pGvwAJ63iDyMRjzxZAwCHzEDTDBo6wC5Tr6
tgyFkTqrMN8Yhzvhn66ghibhfs2mTLTflbuWH6AKHOMgk3P/LVxXcfTloOt/
Gejsz9wP9C/adhh7+Kx3pygASbdi82+XYV9DCunXI7TpOKzD6go6iCvS/n6q
+JesYokk7r2KLyaQozsoBHTfb7/tyu0VJBLor6+ih9nXItJkFW0G7f7i4ZYS
wdtU5npi+OolmCDGFyzB0MQ/dgmhqvpnL+AeWu1eMHMTzxUwr/j7AphX/D0h
h35K9mIDarF9iO7L6jpAdEWNh237IpINye6UL3+yLZBNtwQf4rrctfcaHz/h
6KRtSDcP+mRSBiW2Rj8tHY4GT4gMyqB9ARWMcnEmGbsUMiAonbdnV0eGOQIA
97Uabvd37fgIPYVYPlDBPkcI71Ekv2E2JkZj85w6aqoBztc4F++BadmgD81v
Qnn3mX/lNm5s+ZDwl+HNLsfhbWkd+gvWoe97XGEtGgG6+2/bPwptSKunttyj
UVZ97ms/rX8+G1cpBh9skZtp9bCqWkSG7SJ8HYVwJas+OWyCSeRHBYWirrlW
sy6lWafpehOF++qPsfH7dlbWcmzWvhg10+ao2LoCPjuDL9HNqmhYuzYM1FMr
gGF5UxDGUERlOM3AvJLFvJeJZMFgEb3yrCzi5mJBg2RuKVebN4RwRMoGF8Ma
7pVrDcPGGH5znCDYyXV+r+m+gM04NoNG+6kPgNmHsa370jk8WH2jWJZSRbQr
O0bFjwx4SMvyCVBxENdpv0j7Kt/0IK2m8njAHJ9ZfeMGmFHPUj1JctMlw+ho
egS0h2m8YcjGQrYhwpH9bYZY/G1O+lxeUrHZ4gOW9l0GqsEh3EcDYup3KL7h
9kXBG86Wzjiadw84fglCgxhXovijlTDY+5QL/i05uCzlyl0J4KdNwb9n50fH
m+s3L0L5GwdLGxHuE7NYQIcR7FvlVRBK3r71xqaFfvvddunb21tbGLji49P+
EIILFyVim+NMWHKD8qSUearrWJBEWCTBRU3LYO9G1ACdTsBEMVrunElj/l7L
5kYYkwFfXmnaVAX9WNJAbi6xcVDcSe0AkZHD/jqBCeoCa/QKCC2jJnDx+d2z
Imj41TIv7rPLwTgy5eN8ijEQuNRsHcsZuQTMUF6zoJeDauuPqqBo6ykl3/V6
b7u77807VQ2pq7SmvkTYrfQelbbUk2VdEeenb0D4tuM+g58bRbyNut2fTHCe
CKYyr4bs7HSSA+z34sV0VrhTSv60SWCqAXaQqKje01igLlGJgW8mJa/RonrZ
MNFry4DpgK8teVwoc6reYmVJkflNi3pdO3UtliKtcaG875G24lwMm7ctUwJY
eF3tFLMrWaLgMuXF+E2UtWk35QghbMTtjsOYZdISXR20KTq1locpq/bVp1xl
SiVs/j2qPs7MfQtDqbsW7y2q1fPLsrVOtnAuRvUcPuUNE2ipklQ4U5R0q+uT
uzAZPnx3AWZCsZUn4cuZFbRIu56gHopf6kJbQMm4uMw843JF0xKCyzTpzBlX
QxbmRRCiHADrmILlRuaIEqkFlWrDQ5gHQxZdOAuF2LIoucydS2EFywwY2Ncx
WIbAvsI6Xk307q8oD0xl0mHRuQiqmTNXE2fLf6kPqaoKrLRZOlvGJaog2ESj
UZ2v7spqX2llRKGFAvtcRpCE+fx1fqdxFltrDWdibGwT7CreEb5QniNW6e0J
ihtQLjWfRJnWihohUlKneXDWI8LWK7m3VmqT98Y9aSotBB3xJppMY6uauske
So5YtYTVoNjWPSSA86M/UUdHuQShAyiusveCB1W0cwwaHoyDFzUXkSL31jAt
H03PUHq5B/UqMMIZpNZaJwBLepaL1VlShu+QMBUeQpwELaZXKxb3Hg27JldK
FhSrI3stn7M0gYivq4UXwXmKuDHGsHm0xTobLsM1ngODgE2ndFPauunwVbRR
EVFUi+A8sDQsZk/75TUeJjvCc141d8J3gg/nmaaIQTqmDVpKky2S3oWA1cVc
00yDvsAKjSJ8m/Qk1fQqQq4ioEdXpuRLOUqzvKGkAJumMzdyIL4UDzjCHHvx
K+G34eUqrQJdFfQQiXvpg5VV9q29gXeyH2OpJuqQQTMZIHDBogFJ/NYTfKVI
PbeNMunBWEuANTmdGXWvknHCBuY1uyDYv7HISzp8HNXi1CWGubx9iu3jqdZm
irXsA/B7zek3kl1rWj6jqf5TUAwRhLG5JDFwQ13RxeqXK6J7ELxBzQWAwnu0
01zmTRTehdrkVzEgyrbsLsmVDXTOe66zZ36TLlCMj7BEVbtiQP17ief93Ftc
GhampBz+HIGp+A339i0g9mghYp9NYATPnq4drWvsk7hU/QDMhSkoNmqNaFrO
hi9U2uTWiVu28QtPWLSHIOcBuWowKdCfxxr4sHW3SejDePDZyTGzo+b7ivJq
27hQrtGRxvpvyXdvs3F3/71bB4IfQI/DX6fg8JDqMoPTwx3/MNdPgNHedq88
QEFOwTSq2oed2qTduO209pZk1uSlOl/b93EncxcDxtzLfUlzBC8gw9W8VWzC
0nh6Fe5MM0vEMH9sX5w8p8LyFDgpA4Pm3fEzWGr3PY63pDljfX4v9dkk6yhO
tmQGbNkzTravM6pOzyHxuwMy+L+3W9nATOS9omR0oPmWONnq+Fh4nrPRTC3D
xmQzVzfDnTJY3bCkRbOPnVshg5IvV3diE1Vr+mjwuJdWh9h+RijqYbzStm/D
cy/UcDpQnEtK01Tz1Qta0tnojuYGzrisJ7d1YRJSNtswNFu1BY2YuDINqZ1k
mHnXPAtsXfNu+w7Ty63SSKa1UFtgz4LIKhRCYEcY9AqwP7ykzrDcaz1uE95s
Fk+vAQpuRoYMmorz5kfd736mo3B8SE4LexoJX4luSxEbFp3xG/R68Wq9d4rH
VrAGrjGzrWX/UQfxeO0hBduowboziWuPPxqqtkTUfDcLvU8FaXBB740hx7Fh
nRFncsjJCivReFsDyja2cW7My4XZjx3Y3hoojkao2QOs0htQ9UAVINpKb44Y
oJwTxxEa39Wehbs5ERSd/lm5JaBU/u4t6e5uJe7dwq4Grw5aPvi25MQqNirj
McmFqXREN3i/riskN2+0aCYscaX+fRfNs7+vCiUY69k0HfObx4xtaWqVWYFp
7JXcQJarGgzOtKai0Zphac1mmXZb3evGUkp3RsO74vWoZYVwZ6ucwqWY3dEA
O6/kaji2L+A5NG/wUcMnG0W58VkIroJDUR0dnCUDgU5TuiJ+G6c8nYPdoIAz
XisNtjdI5uNyXgwoPsOxr16NsU/YlZ/RuQGHNZGPdg929zpy8/Ti1R9/OcWN
v3AnMt106Ac3Z3v54iVs+cufz+SRRjGKP2Jsb84d4VFhincbPffGM9wRVvMb
nkSLvFB1UuQ75okdvmNnS4jvfoedtK6z6SGVUo7qJ2AUXA3p1UH6yb7UN0+6
sr55sivh6qHEfnD/DwU08guSnAAA

-->

</rfc>
