Hi, I support adoption and just like Russ I look forward to formal verification. Formal verification would likely have caught several of the issues identified by David Benjamin as well as the issues with post-handshake messages when replay protection is turned off identified by me. I hope everything going out the TLS WG in the future will be formally verified.
Cheers, John From: Russ Housley <hous...@vigilsec.com> Date: Monday, 2 December 2024 at 19:00 To: Joe Salowey <j...@salowey.net> Cc: IETF TLS <tls@ietf.org> Subject: [TLS] Re: Adoption call for RFC 9147bis I do not object, but I look forward to the FATT review. Russ On Dec 2, 2024, at 12:38 PM, Joseph Salowey <j...@salowey.net> wrote: This is a call for adoption of draft-rescorla-tls-rfc9147bis-00[1] as the basis for an RFC9147 bis document. This document is seeded with the content of RFC 9147. If you object to the adoption of this document please respond to this thread by December, 9 2024. Cheers, Joe, Deirdre, and Sean [1] https://datatracker.ietf.org/doc/html/draft-rescorla-tls-rfc9147bis-00 _______________________________________________ TLS mailing list -- tls@ietf.org To unsubscribe send an email to tls-le...@ietf.org
_______________________________________________ TLS mailing list -- tls@ietf.org To unsubscribe send an email to tls-le...@ietf.org
