On Thu, 5 Dec 2024, 09:29 Muhammad Usama Sardar, < muhammad_usama.sar...@tu-dresden.de> wrote:
> On 02.12.24 18:38, Joseph Salowey wrote: > > > If you object to the adoption of this document please respond to this > > thread by December, 9 2024. > > Based on this, I would have expected only those objecting to respond. > But since those supporting the draft are also responding, so here goes > my support for the draft. I fully support adoption. > > I agree with Russ and John, and would look forward to the FATT review to > know their opinion on whether one should include KeyUpdate and > post-handshake parts in the formal models. > If they aren't in the model, then analysis is only good up to KeyUpdate. (OpenJDK got KeyUpdate wrong, there were use cases with no security.) >
_______________________________________________ TLS mailing list -- tls@ietf.org To unsubscribe send an email to tls-le...@ietf.org
