Have to add a note to this statement:
“ 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. “ When everything goes smoothly, it’s the working group that gets the credit. But when something goes wrong, the blame falls squarely on the authors. I am looking forward to your contributions to the formal analysis since you missed the opportunity last time. Ciao Hannes From: John Mattsson <[email protected]> Sent: Montag, 2. Dezember 2024 19:43 To: Russ Housley <[email protected]>; Joe Salowey <[email protected]> Cc: IETF TLS <[email protected]> Subject: [TLS] Re: Adoption call for RFC 9147bis 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 <[email protected] <mailto:[email protected]> > Date: Monday, 2 December 2024 at 19:00 To: Joe Salowey <[email protected] <mailto:[email protected]> > Cc: IETF TLS <[email protected] <mailto:[email protected]> > 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 <[email protected] <mailto:[email protected]> > 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 -- [email protected] <mailto:[email protected]> To unsubscribe send an email to [email protected] <mailto:[email protected]>
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
