On Tue, Jun 14, 2016 at 1:22 PM, Watson Ladd <watsonbl...@gmail.com> wrote: > > On Jun 13, 2016 10:08 PM, "Karthikeyan Bhargavan" > <karthik.bharga...@gmail.com> 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 gru...@grubba.org Roxen Internet Software AB gru...@roxen.com _______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls