Formal Analysis of Protocol

[felixlinker]

Hi everyone,

I met some of you working on this protocol at the IETF and, back then, suggested that analyzing this protocol would be a great topic for a Masters thesis. Is there any interest in this?

Benefits from making this a Masters thesis:

• Tamarin experts that supervise a formal analysis (at least I would certainly supervise this thesis)
• A Master student can dedicate half a year of full-time work to formal analysis
• There will be formal specification of the protocol's security guarantees and analysis of the protocol's security
• The protocol will be compared with related work

I am a bit behind schedule with publishing thesis proposals, so quick feedback from you would be great! Ideally, one or multiple designers of the protocol would join the supervision for input.

[felixlinker]

Related #26, #27, #30

[cfm]

@felixlinker, thanks for getting in touch! We are enthusiastic about this proposal. I'll follow up with you later today by e-mail.

[cfm]

@felixlinker, I wrote last night to the Gmail address in your GitHub profile. We've had some trouble with mail from @freedom.press getting caught in spam filters, so please check there if you don't see it.

[lsd-cat]

Happy to update that this work is set to start around July!