Hi Cas,
On 31.05.24 16:54, Cas Cremers wrote:
I think there is some possible misunderstanding of the panel's
comments from your side. The panel did not discuss using any tool over
any other.
Thanks for the clarification. It was not at all obvious from chair's
email, especially given that at least two panelist explicitly mentioned
the tools. That is one of the reasons I would like the discussion with
the panel to happen transparently rather than summarizing it; which may
create many misunderstandings.
If someone writes "a Tamarin-like" analysis then this doesn't
necessarily mean Tamarin.
I understand but the chairs summarized it to "Tamarin analysis" and not
"Tamarin-like analysis" in the "high-level takeaways". Besides, if the
panelists did not discuss the tools, I think "symbolic analysis" is more
appropriate than "Tamarin-like analysis".
Best Regards,
Usama
_______________________________________________
TLS mailing list -- tls@ietf.org
To unsubscribe send an email to tls-le...@ietf.org
