Hi Thom, everyone,
Just to let the working group know, we've started doing a formal
(symbolic) analysis of the proposed extended key update mechanism in
Tamarin.
A brief introduction from my side: I am a PhD student at FH Münster. In
my master's thesis, I updated the existing Tamarin model of TLS
(originally developed by Cas Cremers and his team) to match RFC 8446
(https://github.com/nikstuckenbrock/TLS13Tamarin). I am now building on
this model to include the proposed extended key update and its security
properties.
I'll be happy to share updates as the work progresses.
Best,
Nik
_______________________________________________
TLS mailing list -- [email protected]
To unsubscribe send an email to [email protected]
