[TLS] Formal analysis of draft-ietf-tls-pake

[Muhammad Usama Sardar]

If I understood correctly in the meeting, the authors have some ongoing formal analysis but I could not find anything in the repo [0]. Could you please point me to the repo where the formal analysis is being done?

-Usama

[0] https://github.com/tlswg/tls-pake

From the formal analysis perspective, is there something specific other than the open issue mentioned in section 8.4 that you need help with?

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
TLS mailing list -- tls@ietf.org
To unsubscribe send an email to tls-le...@ietf.org