Gilles Grimaud

Gilles Grimaud


Tel(IRCICA):   (33) (0)
Tel(CRIStAL):  (33) (0)
Surface mail:  Gilles Grimaud
               Université de Lille 1
               CRIStAL - Bâtiment M3-
               59655 cité scientifique 

Short Vitae

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

Research Institutes

My research take place in two institutes :

Research topic

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.

Selected publications

The whole list can be consulted here:

  1. Efficient Web Requests Scheduling Considering Resources Sharing. S. Duquennoy, G. Grimaud. Proceeding MASCOTS '10 (IEEE International Symposium). 17-19 Aug. 2010. ISBN: 978-1-4244-8181-1.doi
  2. Efficient Off-board Deployment and Customization of Virtual Machine Based Embedded Systems. A. Courbot, G. Grimaud, J.J. Vandewalle. ACM Transactions on Embedded Computing Systems. Volume 9 Issue 3. ISSN:1539-9087. february 2010. doi
  3. Serving embedded content via Web applications: model, design and experimentation. S. Duquennoy, G. Grimaud and J-J. Vandewalle. In ACM International Conference on Embedded Software (EMSOFT'09), Grenoble, France, October 2009.doi
  4. Object Memory Management For Constrained Devices With Heterogeneous Memories. K. Marquet, G. Grimaud, LNEE Vol. 38 - Martínez Madrid, Natividad; Seepold, Ralf E.D. - (Avril 2009), ISBN: 978-1-4020-9822-2. doi
  5. A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. A. Courbot, M. Pavlova, G. Grimaud and J.-J. Vandewalle. In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06), Tarragona, Spain, April 2006 doi
  6. Secure extensible type system for efficient embedded operating system by using metatypes, G. Grimaud, Y. Hodique and I. Simplot-Ryl, SaNSO 2005 / ICPADS2005 /IEEA, july 2005. (Best Paper Award). doi
  7. A Distributed WCET Computation Scheme for Smart Card Operating Systems. N. Bel Hadj Aissa, C. Rippert, D. Deville and G. Grimaud. In Proc. 4th International Workshop on Worst Case Execution Time Analysis (WCET2004), Catania, Sicily, Italy, 2004. url
  8. Smart Card Operating Systems: Past Present and Future. D. Deville, A. Galland, G. Grimaud and S. Jean. In Proc. 5th NORDU/USENIX Conference (NordU2003), Vasteras, Sweden, 2003. (Best paper award).
  9. Building an "Impossible" Verifier on a Java Card. Damien Deville and Gilles Grimaud. In Proc. 2nd USENIX Workshop on Industrial Experiences with Systems Software (WIESS'02), Boston, USA, 2002.
  10. FACADE: a typed intermediate language dedicated to smart cards. G. Grimaud, A. Requet, L. Casset, In Proc. conférence ESEC/FSE'99 (ACM SigSoft). doi

Current PhD Students

  1. Damien Riquet (Oct. 2011), "Probes Infrastructure for the Cloud Security".
  2. François Serman (Oct. 2012), "New Kernel Architecture for Proved Operating Systems".
  3. Narjes Jomaa (Janv. 2015) "Proving a kernel with Coq".
  4. Nadir Cherifi (Juil. 2015) "Small device energy optimisation".

Former PhD Students

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. Dr. Geoffroy Cogniaux (dec. 2009-dec 2012) "Code execution for serial memories".

    2012- Research engineer at Gemalto.

Main projects platform

Past projects platform

Editorial Activity

Smart Card Research and Advanced Applications

Cardis 2008


Safe Deployement of Critical Software in Constrainted Devices

 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)

Camille: an open operating system dedicated to smartcards

  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)

Current Contributions

Past Contributions

timeline order since 1999.