On 03.11.25 11:15, Mike Ounsworth wrote:
I want to announce a side-meeting which is highly relevant to the community working on formal modelling of the TLS protocol.
That sounds very interesting but it is unfortunate that your side meeting has one hour overlap with SEAT WG, which is specifically focused on TLS.
Besides, is there a reason for not sending it to UFMRG? To me, that seems more relevant.
-Usama
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
