After having received my Ph.D. degree in computer science in 2008 from the University of Orléans in France, I worked as research associate at the University of Luxembourg within the Security and Trust of Software Systems (SaToSS), and I was member of the Interdisciplinary Centre for Security, Reliability and Trust. I joined INSA Rennes and IRISA in 2014, and received my habilitation degree (habilitation à diriger des recherches, HDR) in 2021 from the University Rennes 1 in France.
News
We have a master internship proposal on formal foundations of security ceremonies. The details are available here.