Previous | 
Home
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]
Engineer
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]