> There is a concept called "provable correctness", and folks (such as those
Hm, your arguments against it are that heuristics will expose the information anyway. Has provability advanced far enough to include that concept? _______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
