Dear chairs,
I had a short meeting with Russ today and we don't understand
/precisely/ what the FATT is worried about and therefore why a formal
analysis is required at all.
Extending CH and SH to negotiate external PSK follows the best current
practice for extending TLS. Moreover, external
In regard to moving RFC 8773 to standards track the formal analysis triage
group has provided input on the need for formal analysis which was posted
to the list [1]. The authors have published a revision of the draft [2] to
address some of this feedback, however the general sentiment of the triage
