Hi Chris, Thanks for the update.
On 15.03.26 10:54, Christopher Wood wrote:
We initiated analysis by extending the base TLS 1.3 model in ProVerif that was used for analyzing ECH.
Good to know that you are using ProVerif. In my understanding, the ProVerif ECH model looked like a bit over-complicated for this draft. Back then, I started by building on top of the model I refined from the model of Bruno, Karthik, and Nadim.
Same approach (symbolic) and even same tool (ProVerif) looks like my effort is completely redundant. So I'll let you do the thing and keep this on hold from my side until you share concretely where you need help, if any.
It requires some polish before putting on GitHub, though I’ve not had capacity to do that work. When it’s done, I will update this thread.
Sure, take your time. Happy to review and/or contribute to it - if you would like.
In the mean time, I would be happy if you could put together a slide for tomorrow's session on the current state of the formal analysis, such as established properties, if conveniently possible.
Best regards, -Usama
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
