Logic List Mailing Archive

CfA: Ma thesis (with pot. follow-up PhD position), Rennes (France), deadline: asap

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
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php