photo

Office 327, IRISA Rennes
Campus universitaire de Beaulieu
263 avenue du Général Leclerc - CS 74205
35042 Rennes Cedex
France

+33 (0)2 99 88 25 36

solene [dot] moreau [at] irisa [dot] fr

Solène MOREAU

Since September 2018, I have been a PhD student under the supervision of Stéphanie DELAUNE and David BAELDE in the EMSEC team at IRISA in Rennes.

My research focuses on formal methods for the verification of security and privacy in communication protocols.

Publications

Talks

Teaching

2018-2019

2019-2020

2020-2021

Last update: October 21, 2020.