Tel(IRCICA): (33) (0) 188.8.131.52.55 Tel(CRIStAL): (33) (0) 184.108.40.206.68 e-mail: email@example.com Surface mail: Gilles Grimaud Université de Lille 1 CRIStAL - Bâtiment M3- 59655 cité scientifique FRANCE
I am a full-professor from University of Lille 1 since the september first 2009 . I am the scientific director of 2XS team since Jully first 2012. 2XS is a team of IRCICA pluridisciplinary laboratory from the CNRS. Furthermore 2XS is also part of SEAS thematic group of CRIStAL, Univeristy of Lille & CNRS since the january first 2015. Before that our team was a member of the former LIFL.
My research interests include efficiency, safefty, security of smart objets and dedicated operating systems. Past project include the Smart and Mobile Embedded Web Server : Smews, the Camille OS and in the JITS (i.e. Java In The Small) platform.
Before that, I obtained my Ph.D. from the University of Lille 1 (France) in December 2000. The subject of my thesis was an open operating system dedicated to smartcards. This PhD was awarded by the french chapter of ACM-SIGOps in June 2001. I also spent 18 months (2000-2002) in the Gemplus Research Labs where I worked on next generations of smardcards operating systems. In 2002, have joined RD2P/LIFL/CNRS and POPS/INRIA-Futur Research in University of Lille as an associate Professor. I was elected vice-president of the french chapter of ACM-SIGOps (2005-2008).
|go to CRIStAL||go to IRCICA|
My research take place in two institutes :
My research is focus on design and principle of embedded operating systems. I have proposed several studies related to the security of smartcard OSs, but also innavations allowing to embbed high level abstractions on the smallest devices.
The whole list can be consulted here:
Dr. Damien Deville (oct. 2001-dec. 2004) "Camille RT : allowing Real-Time extension on an embedded Exo-Kernel" co-directed with Pr. Vincent Cordonnier
Grantee from the Fulbright Research Scholars Program 2005-2006 for a post doctoral position in Department of Computer Science and Engineering, University of Washington, Seattle, WA, USA;
2006-2010 - R&D engineer at Netasq;
2010- R&D Team Leader at Netasq.
Dr. Alexandre Courbot (oct. 2003-Sept. 2006),"Embedding Java In The Small" co-directed with Dr. Jean-Jacques Vandewalle and Pr. David Simplot-Ryl
Award of the "Java Card Forum" Consortium 2006 press release;
Award of the JAX Innovation Contest 2007 press release;
Grantee from the Monbusho Program (MEXT) 2007-2006 for a post doctoral position in Department of Computer Science and Engineering, Waseda University, Tokyo, Japan;
Senior Software engineer at NVIDIA.
Dr. Yann Hodique (oct. 2004-Avr. 2007),"Safety and optimization by typing in the context of open and constraint devices" co-directed with Pr. Isabelle Simplot-Ryl
2007-2008 - Senior engineer at Trusted Logic;
2008-2011 - Senior R&D engineer at VMWare;
2011- Senior Software engineer at Ulteo;
2013- Senior R&D engineer at VMWare.
Dr. Kevin Marquet (oct. 2004-Dec. 2007), "Memories management policies for embedded devices" co-directed with Pr. David Simplot-Ryl.
2008-2010 Post doctoral position in VERIMAG, University Joseph Fourier, Grenoble, France;
2010- Associate professor in CITI laboratory within the Socrate research group.
Dr. Nadia Bel Hadj Aissa (jan. 2004-Oct. 2008), "Embedding Worst Case Execution Time computation on mobile codes" co-directed with Pr. David Simplot-Ryl.
2009-2011 Associate professor from ESPRIT, Tunis;
2011- Associate professor at Faculté des Sciences de Bizerte.
Dr. Dorina Ghindici (sep. 2005-Nov. 2008),"Information flow analysis for embedded systems: from practical to theorical aspects", co-directed with Pr. Isabelle Simplot-Ryl.
2008- Senior engineer at Amadeus GDS.
Dr. Simon Duquennoy (sep. 2008-Jul. 2010),"Small and Mobile Embedded Web Server" see also SMEWS open source software.
2010-2011 Post-doctoral Researcher at SICS Funded through the ERCIM Alain Bensoussan fellowship program, Stockholm, Suède;
2011- Senior Researcher at SICS.
Dr. Geoffroy Cogniaux (dec. 2009-dec 2012) "Code execution for serial memories".
2012- Research engineer at Gemalto.
Habilitation à Diriger les Recherches par Gilles GRIMAUD Soutenue le 21 Novembre 2008 President: Jean-Marc GEIB Professeur à l'Université de Lille 1 Rapporteurs: Yollande BERBERS Professeur à Katholieke Universiteit Leuven, Belgique Gilles MULLER Professeur à l'école des Mines de Nantes Michel RIVEILL Professeur à l'école polytechnique de l'Université de Nice Examinateur: Pierre PARADINAS Professeur au Conservatoire National des Arts et Métiers Directeur: David SIMPLOT-RYL Professeur à l'Universite de Lille 1
In this document, we present the research work done on the secure deployment of critical software in constrained devices. We describe the industrial context of Portable Objects Proved to be Safe – called POPS – in order to define the related technical locks and scientific challenges in computer science for this software domain. We show the necessity to split the studied domain in two classes of software. The first one is related to the smallest target available for POPS. Software designed for this kind of target is defined before the device issuance. In this case, software componentisation is a way to simplify the software production. And the hot issue is: how to embed high-level designed components in a low-end target which is unable to embed a full-fledged deployment support? We provide a way to embed deployed software unit and to support object oriented abstraction of the memories. The second class of POPS devices is big enough to include a basic runtime environment and to support post-issuance deployment. In this context, the question is: how to deploy untrusted software components in a secure way? In this case, the software security is enforced by the underlying deployment environment in order to provide confidentiality, integrity and availability. This issue is exacerbated by the necessity of cooperation between components distributed by various software providers mutually suspicious.
embedded software, software security, confidentiality, integrity, availability, software components, software deployment, post-issuance.
PDF Document(in french)
PhD Thesis : Gilles GRIMAUD sous la direction du Professeur Vincent CORDONNIER Soutenue le 12 Décembre 2000 President : Jean-Marc GEIB Professeur à l'Universite de Lille 1 Rapporteurs : Bertil FOLLIOT Professeur à l'Universite de Paris VI Daniel HAGIMONT Directeur de Recherche à L'INRIA Rhone-Alpes Examinateurs : Vincent CORDONNIER Professeur à l'Universite de Lille 1 Sylvain LECOMTE Maître de Conférences à l'Université de Valenciennes Pierre PARADINAS Directeur du Gemplus Research Lab.
Antoine de Saint-Exupéry wrote that the technological progess aims at removing tools in order to let the users enjoy the services without being bored by any technological issues. The smart card has rapidly spread out in our everyday life. By now, even though most of us did not notice it. Smart cards help us access numerous large networks e.g. bank, phone and health care. Meanwhile smart cards are not that known by the software community, we must mention that the smart card is an actual product of the electronic engineering.
The Smart cards have been so far one of the best solution to help us manage the user's mobility. Indeed, new generation of smart cards that have been released over the last decade, offer us to download data and programs which use well-known computer languages such as C, Java or Visual Basic. Since then, though, the software engineers have never actually integrated them in their design. This document reports a study of the benefits, needs and limitations associated with these new smart cards. From this study, we have defined a distributed software architecture between the smart card and the host. A prototype of this new architecture has been developed and various experiments help us evaluate it. Doing so, we experimentally validated that this new design is indeed well-founded. Besides, some of the software components that was originally designed to be deployed on the terminal, have been moved int the smartcard.
Operating Systems, Extensibles architectures, Embedded systems, Smartcards.
PDF Document(in french)
timeline order since 1999.