SECSI is a project common to Inria and the Laboratoire Spécification et Vérification (LSV), itself a common lab between CNRS (UMR 8643) and the École Normale Supérieure (ENS) de Cachan. The team was created in 2001, and became an Inria projet in December, 2002.

Creation of the Project-Team: 2002 November 15, updated into Team: 2013 January 01, end of the Team: 2013 December 31.

Section: Members

Research Scientist

Stéphanie Delaune [CNRS, Researcher, HdR]

Faculty Members

Jean Goubault-Larrecq [Team leader, ENS Cachan, Professor, HdR]

David Baelde [ENS Cachan, Maître de Conférences]

Hubert Comon-Lundh [ENS Cachan, Professor, HdR]


Pierre-Arnaud Sentucq [Inria, granted by DGA SEREBC Bruz, from Apr 2013]

PhD Students

Lucca Hirschi [ENS Cachan, from Sep. 2013]

Rémy Chrétien [ANR JCJC VIP grant, Started Oct. 2012]

Guillaume Scerri [ERC grant ProSecure, Started Oct. 2011]

Administrative Assistant

Thida Iem [Inria]