On 26.01.26 19:35, Shumon Huque wrote:
Sorry, I seemed to have missed your earlier message.
No problem.
I'll follow up about the formal analysis topic, after we've finished the current back and forth about the remaining points of design contention.
Well, I believe the whole point of formal analysis is to resolve (at least some of) the design contention and get a design which resolves the concerns regarding cross-protocol attacks.
-Usama
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
