[computational.science] master thesis proposal at IRISA, France

Hello everybody,

I am proposing a master level project (master thesis or internship project) on formal modeling of ceremonies, with a possibility to continue on a follow-up PhD position. The work will take place at IRISA, in Rennes, France.

Keywords: formal methods, security, ceremonies, protocols, security properties, verification.

A detailed description of the topic is available here https://people.irisa.fr/Barbara.Fila/vacancies/master_thesis_ceremonies.pdf

Could you please forward this message to potentially interested students and colleagues? Thank you.

With best regards, Barbara Fila https://people.irisa.fr/Barbara.Fila