The argument for the security is based on the parser synthetizer combinator, which takes a parser p for type t1 and an injective function f:t1->t2 and returns a parser p' for the type p2.
TLS, I don't even know you anymore.... Mike _______________________________________________ TLS mailing list [email protected] https://www.ietf.org/mailman/listinfo/tls
