>but we also need a more general statement on this requirement since the TLS >working group currently does not have a policy for what does and does not need >formal analysis or what constitutes proper formal analysis.
Yes, we should be explicit and not slide into raising the bar, to mix metaphors. >The chairs are working on a proposal for handling situations like this that we >plan to post to the list in a week or so. Thank you for this.
_______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
