On Mon, Mar 11, 2024 at 3:08 PM Rob Sayre <say...@gmail.com> wrote:
> I also believe there was supposed to be some formal proof work done, and > I'm not sure that's complete > Ah, I see this was done: https://dl.acm.org/doi/abs/10.1145/3548606.3559360 So, I guess the only question is whether this needs to be done again for the latest specification. thanks, Rob
_______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
