<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    <div class="moz-cite-prefix"><a
href="https://cacm.acm.org/magazines/2020/4/243625-why-is-cybersecurity-not-a-human-scale-problem-anymore/fulltext">https://cacm.acm.org/magazines/2020/4/243625-why-is-cybersecurity-not-a-human-scale-problem-anymore/fulltext</a></div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Could you please elaborate in which way
      this article critizes the attacker model used in formal protocol
      security analyses? This critique must then apply equally for the
      way in which TLS 1.3 was designed and evaluated (see, e.g., <a
        href="https://tools.ietf.org/html/rfc8446#appendix-E">https://tools.ietf.org/html/rfc8446#appendix-E</a><a
        href="https://tools.ietf.org/html/rfc8446"></a>). <br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">-Daniel<br>
    </div>
    <div class="moz-cite-prefix"><br>
    </div>
    <div class="moz-cite-prefix">Am 21.04.20 um 19:41 schrieb Tom Jones:<br>
    </div>
    <blockquote type="cite"
cite="mid:CAK2Cwb7FS6HkD1ms1K-94SL62h22Mn7HjeRA_OuOCCOjaDeN1A@mail.gmail.com">
      <meta http-equiv="content-type" content="text/html; charset=UTF-8">
      <div dir="ltr">DOI:10.1145/3347144.  CACM 63 no 4 p 30ff<br
          clear="all">
        <div>
          <div dir="ltr" class="gmail_signature"
            data-smartmail="gmail_signature">
            <div dir="ltr">
              <div>Peace ..tom</div>
            </div>
          </div>
        </div>
        <br>
      </div>
      <br>
      <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">On Tue, Apr 21, 2020 at 10:38
          AM Daniel Fett <<a href="mailto:fett@danielfett.de"
            moz-do-not-send="true">fett@danielfett.de</a>> wrote:<br>
        </div>
        <blockquote class="gmail_quote" style="margin:0px 0px 0px
          0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
          <div bgcolor="#FFFFFF">
            <div>Am 21.04.20 um 18:30 schrieb Tom Jones:<br>
            </div>
            <blockquote type="cite">
              <div dir="auto">Well, I am a member of the FAPI wg and do
                not like their current direction. Specifically I
                strongly disagree with Fett's attack model which has
                come under increasing attack in, for example the current
                issue of the CACM.<br>
              </div>
            </blockquote>
            <p>Which article?<br>
            </p>
          </div>
          _______________________________________________<br>
          Openid-specs-heart mailing list<br>
          <a href="mailto:Openid-specs-heart@lists.openid.net"
            target="_blank" moz-do-not-send="true">Openid-specs-heart@lists.openid.net</a><br>
          <a
            href="http://lists.openid.net/mailman/listinfo/openid-specs-heart"
            rel="noreferrer" target="_blank" moz-do-not-send="true">http://lists.openid.net/mailman/listinfo/openid-specs-heart</a><br>
        </blockquote>
      </div>
    </blockquote>
    <p><br>
    </p>
  </body>
</html>