On Tue, Jun 14, 2016 at 1:22 PM, Watson Ladd <[email protected]> wrote: > > On Jun 13, 2016 10:08 PM, "Karthikeyan Bhargavan" > <[email protected]> wrote: >> >> I prefer (2) > > Same. It's clear 1 makes proofs more complicated, making mistakes easier to > miss.
Same here. I also find it unlikely that (1) actually has any significant positive effect (in the TLS case, unsure about DTLS) as it is probably easy for a passive observer to infer the content type from the data flow. -- Henrik Grubbström [email protected] Roxen Internet Software AB [email protected] _______________________________________________ TLS mailing list [email protected] https://www.ietf.org/mailman/listinfo/tls
