<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>Dear all,</p>
    <p>A few hours ago, in the FAPI WG Pacific brief, we presented our
      interim results on the ongoing formal security analysis of FAPI
      2.0 Security Profile.<br>
    </p>
    <p>Please find attached the slides and the report.</p>
    <p>Best</p>
    <p>Pedram & Tim<br>
    </p>
    <pre class="moz-signature" cols="72">-- 
Tim Würtele, M.Sc.
Room V38 2.434
Institute of Information Security - SEC
Universität Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
Phone: +49 (0) 711 685-88468
<a class="moz-txt-link-freetext" href="https://sec.uni-stuttgart.de" moz-do-not-send="true">https://sec.uni-stuttgart.de</a></pre>
  </body>
</html>