Hi TLS, We've just uploaded a new revision of the cTLS draft. The most exciting change in this revision is an additional informative reference to Comparse [1], a new formal verification system. The Comparse paper includes a security proof of cTLS (and also TLS and MLS). This revision also includes some slight configuration changes that were made in support of that formal analysis.
--Ben Schwartz [1] https://eprint.iacr.org/2023/1390 ________________________________ A new version of Internet-Draft draft-ietf-tls-ctls-09.txt has been successfully submitted by Benjamin Schwartz and posted to the IETF repository. Name: draft-ietf-tls-ctls Revision: 09 Title: Compact TLS 1.3 Date: 2023-10-23 Group: tls Pages: 26 URL: https://www.ietf.org/archive/id/draft-ietf-tls-ctls-09.txt Status: https://datatracker.ietf.org/doc/draft-ietf-tls-ctls/ HTML: https://www.ietf.org/archive/id/draft-ietf-tls-ctls-09.html HTMLized: https://datatracker.ietf.org/doc/html/draft-ietf-tls-ctls Diff: https://author-tools.ietf.org/iddiff?url2=draft-ietf-tls-ctls-09 Abstract: This document specifies a "compact" version of TLS 1.3 and DTLS 1.3. It saves bandwidth by trimming obsolete material, tighter encoding, a template-based specialization technique, and alternative cryptographic techniques. cTLS is not directly interoperable with TLS 1.3 or DTLS 1.3 since the over-the-wire framing is different. A single server can, however, offer cTLS alongside TLS or DTLS. The IETF Secretariat
_______________________________________________ TLS mailing list [email protected] https://www.ietf.org/mailman/listinfo/tls
