master thesis proposal at IRISA, France

18 Sep
2024
18 Sep
'24
10:50 a.m.
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
294
Age (days ago)
294
Last active (days ago)
0 comments
1 participants
participants (1)
-
Barbara Fila