Welcome to my Home Page
I am an assistant professor (Maître de Conférences) at Télécom ParisTech, in the embedded systems group (SEN – Systèmes électroniques numériques), in the department of communication and electronics (COMELEC).
My current research topic is the security of embedded systems. In particular, I am interested in the use of formal methods in order to provide security guarantees and to assess the effectiveness of various protection schemes against hardware and software attacks.
