[saag] KEYTRANS update for IETF 125

--===============7094601502939870462==
Content-Type: multipart/alternative; boundary="00000000000038276f064d6ea2f8"

--00000000000038276f064d6ea2f8
Content-Type: text/plain; charset="UTF-8"

KEYTRANS had a 1 hour slot at IETF 125 where we discussed:

   1. Minor changes to draft-protocol. We also had an implementation
   experience presentation that was well-received and the feedback will be
   folded into draft-protocol.
   2. Draft-architecture recently passed WGLC; the chairs asked for
   document shepherd volunteers and have received some.
   3. Brief presentation on formal verification of draft-protocol
   (progressing).

--00000000000038276f064d6ea2f8
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">KEYTRANS had a 1 hour slot at IETF 125 where we discussed:=
=C2=A0<div><ol><li>Minor changes to draft-protocol. We also had an implemen=
tation experience presentation that was well-received and the feedback will=
 be folded into draft-protocol.=C2=A0</li><li>Draft-architecture recently p=
assed WGLC; the chairs asked for document shepherd volunteers and have rece=
ived some.</li><li>Brief presentation on formal verification of draft-proto=
col (progressing).</li></ol></div></div>

--00000000000038276f064d6ea2f8--


--===============7094601502939870462==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18Kc2FhZyBtYWls
aW5nIGxpc3QgLS0gc2FhZ0BpZXRmLm9yZwpUbyB1bnN1YnNjcmliZSBzZW5kIGFuIGVtYWlsIHRv
IHNhYWctbGVhdmVAaWV0Zi5vcmcK

--===============7094601502939870462==--