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
_______________________________________________ TLS mailing list TLS@ietf.org https://www.ietf.org/mailman/listinfo/tls
