[TLS] Re: FATT Chance: On the Robustness of Standalone and Hybrid ML-KEM Key Exchange in TLS 1.3

[Salz, Rich]

  *
FATT review of formal analysis artifacts

That is not what the FATT does. They work with the author(s) of drafts, and 
advise the WG if analysis is needed and, if so, might suggest what tools and 
methods would be most useful.[1]

[1] https://github.com/tlswg/tls-fatt

_______________________________________________
TLS mailing list -- tls@ietf.org
To unsubscribe send an email to tls-le...@ietf.org