%% You should probably cite draft-usama-tls-fatt-extension-09 instead of this revision. @techreport{usama-tls-fatt-extension-07, number = {draft-usama-tls-fatt-extension-07}, type = {Internet-Draft}, institution = {Internet Engineering Task Force}, publisher = {Internet Engineering Task Force}, note = {Work in Progress}, url = {https://datatracker.ietf.org/doc/draft-usama-tls-fatt-extension/07/}, author = {Muhammad Usama Sardar}, title = {{Extensions to TLS FATT Process}}, pagetotal = 20, year = , month = , day = , abstract = {This document applies only to non-trivial extensions of TLS, which require formal analysis. It proposes the authors specify a threat model and informal security goals in the Security Considerations section, as well as motivation and a protocol diagram in the draft. We also briefly present a few pain points of the team doing the formal analysis which -- we believe -- require refining the process: * Provide protection against FATT-bypass by other TLS-related WGs * Contacting FATT * ML-KEM * Understanding the opposing goals * Response within reasonable time frame}, }