Subject: [TLS] Formal analysis of Exported Authenticators

From: Jonathan Hoyland <[email-masked]>
Date: Mon, 26 Mar 2018 19:04:27 +0000

Hi all,

A number of people expressed interest in the Tamarin model we made of
Exported Authenticators.
For those interested, you can see the code, along with an explanatory guide
here <https://bitbucket.org/jhoyla/tamarin-exported-authenticators>[0].

The full analysis report is a work-in-progress which we hope to release
soon.

If you have an questions, please feel free to email me.

Regards,

Jonathan

[0] https://bitbucket.org/jhoyla/tamarin-exported-authenticators/overview