On 6/8/26, 12:28 AM, "Nathanael Ritz" <[email protected]> wrote:
> Independent machine-checked symbolic analysis using ProVerif [REF] This gives too much credit to one individual’s work that is not in a peer-reviewed journal or conference. Nothing against Nadim, he deserves all the credit for what he did, but let’s not overstate it. For example, maybe the first word should be “An …"
_______________________________________________ TLS mailing list -- [email protected] To unsubscribe send an email to [email protected]
