Nombre de documents

43

CV de Gilles Grimaud


Chapitre d'ouvrage2 documents

  • Michaël Hauspie, Gilles Grimaud. Les systèmes d'exploitation de la carte à microprocesseur. Samia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135. <hal-00870778>
  • Geoffroy Cogniaux, Gilles Grimaud. Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. Dieter Gollmann; Jean-Louis Lanet; Julien Iguchi-Cartigny. Smart Card Research and Advanced Application, 6035, Springer, pp.102-117, 2010, Lecture Notes in Computer Science, 978-3-642-12509-6. <10.1007/978-3-642-12510-2_8>. <hal-01056097>

Communication dans un congrès35 documents

  • François Serman, Michaël Hauspie, Gilles Grimaud. Hypervision logicielle et défiance matérielle. Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France. 2016. <hal-01379295>
  • Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal Proof of Dynamic Memory Isolation Based on MMU. 10th International Symposium on Theoretical Aspects of Software Engineering, Jul 2016, Shanghai, China. 2016, <10.1109/TASE.2016.28>. <hal-01369769>
  • Nadir Cherifi, Gilles Grimaud, Thomas Vantroys, Alexandre Boe. Energy Consumption of Networked Embedded Systems. FiCloud - International Conference on Future Internet of Things and Cloud - 2015, Aug 2015, Rome, Italy. IEEE Computer Society, <http://www.ficloud.org/2015/>. <10.1109/FiCloud.2015.90>. <hal-01193142>
  • Narjes Jomaa, David Nowak, Gilles Grimaud, Julien Iguchi-Cartigny. Preuve formelle d'isolation mémoire dynamique à base de MMU. Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300. <hal-01122780>
  • Christophe Bacara, Valentin Lefils, Julien Iguchi-Cartigny, Gilles Grimaud, Jean-Philippe Wary. Virtual Keyboard Logging Counter-Measures Using Human Vision Properties. Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on, Aug 2015, New York, NY, United States. <http://cse.stfx.ca/~css2015/>. <10.1109/HPCC-CSS-ICESS.2015.269>. <hal-01249877>
  • Pierrick Buret, Julien Iguchi-Cartigny, Gilles Grimaud. Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe. Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France. <hal-01232261>
  • Damien Riquet, Gilles Grimaud, Michaël Hauspie. Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité. Pascal Felber; Laurent Philippe; Etienne Riviere; Arnaud Tisserand. ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse. <hal-00995674>
  • Julien Iguchi-Cartigny, Pierrick Buret, Gilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform. 9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy. 2014, <http://retis.sssup.it/sies2014/>. <hal-01131239>
  • Khalil Ibrahim Hamzaoui, Gilles Grimaud, Mohammed Berrajaa, Mostafa Azizi, Abdelkader Betari. Survey on adaptation techniques of energy consumption within a smartphone. Science and Information Conference (SAI), 2014, Aug 2014, Londres, United Kingdom. Science and Information Conference (SAI), 2014, <10.1109/SAI.2014.6918197 >. <hal-01117977>
  • Damien Riquet, Gilles Grimaud, Michaël Hauspie. DISCUS: A massively distributed IDS architecture using a DSL-based configuration. International Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p., 2014. <hal-00996876>
  • Damien Riquet, Gilles Grimaud, Michaël Hauspie. Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux. Anne Etien. 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 8 p., 2012. <hal-00746991>
  • Damien Riquet, Gilles Grimaud, Michaël Hauspie. Large-scale coordinated attacks : Impact on the cloud security. The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558, 2012. <hal-00723739>
  • Simon Duquennoy, Gilles Grimaud. Efficient Web Requests Scheduling Considering Resources Sharing. Mascots, Aug 2010, 18th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis and Simulation of, United States. 2010. <inria-00514501>
  • Geoffroy Cogniaux, Gilles Grimaud. Key-study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. Lecture Notes of Computer Science (LNCS 6035, Springer). The ninth Smart Card Research and Advanced Application IFIP Conference - CARDIS 2010, Apr 2010, Passau, Germany. 2010. <inria-00529489>
  • Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Serving Embedded Content via Web Applications: Model, Design and Experimentation. Emsoft 2009, Oct 2009, Grenoble, France. 2009. <inria-00424372>
  • Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Smews: Smart and Mobile Embedded Web Server. IMIS 2009, Mar 2009, Fukuoka, Japan. 2009. <inria-00385140v2>
  • Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. The Web of Things: interconnecting devices with high usability and performance. ICESS 2009, May 2009, HangZhou, Chile. 2009. <inria-00390615>
  • Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Consistency and scalability in event notification for embedded Web applications. WSE 2009, Sep 2009, Edmonton, Canada. 2009. <inria-00422386>
  • Samia Bouzefrane, Julien Cordry, Gilles Grimaud, Pierre Paradinas. An Open-Source Tool to Benchmark Java Card Platforms. e-Smart Conf., Sophia Antipolis, Jan 2008, X, France. <hal-01125551>
  • Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. An information flow verifier for small embedded systems. Springer. Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. 4462, pp.189--201, 2007, Lecture Notes in Computer Science. <inria-00544955>
  • Nadia Bel Hadj Aissa, Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Contracts as a support to static analysis of open systems. Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2007, Oslo, Norway. 2007. <inria-00546657>
  • Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable lightweight escape analysis supporting creational design patterns for small embedded systems. Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), 2007, Niagara Falls, Canada. IEEE Computer Society, pp.440--447, 2007. <inria-00546597>
  • Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle. A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. Springer-Verlag. In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06), Apr 2006, Tarragona, Spain, 2006, LNCS. <inria-00113758>
  • Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis. McGraw-Hill. Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352, 2006. <inria-00544957>
  • Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Issa Traore, Yanguo Liu. Integrated Security Verification and Validation: Case Study. Proc. of the Second IEEE LCN Workshop on Network Security (WoNS 2006), held in conjunction with the 31st Annual IEEE Conference on Local Computer Networks (LCN 2006), 2006, Tampa, Florida, United States. pp.1000-1006, 2006, <10.1109/LCN.2006.322215>. <inria-00546614>
  • Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. Can small and open embedded systems benefit from escape analysis?. Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 2006, Nantes, France. 2006, <10.1.1.107.5988>. <inria-00546662>
  • Kévin Marquet, Alexandre Courbot, Gilles Grimaud, David Simplot-Ryl. Ahead of time deployment in ROM of a Java-OS. 2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China, 2005. <inria-00113693>
  • Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle, David Simplot-Ryl. Application-Driven Customization of an Embedded Java Virtual Machine. Springer-Verlag. Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Dec 2005, Nagasaki, Japan, 3823-81 (3823-81), 2005, LNCS. <inria-00113691>
  • Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. Romization: Early Deployment and Customization of Java Systems for Restrained Devices. Springer-Verlag. In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Dec 2005, Nice, France, 2005, LNCS. <inria-00113752>
  • Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. Secure extensible type system for efficient embedded operating system by using metatypes. Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. IEEE computer Society, 2, pp.83--87, 2005. <inria-00546601>
  • Nadia Bel Hadj Aissa, Christophe Rippert, Damien Deville, Gilles Grimaud. A Distributed WCET Computation Scheme for Smart Card Operating Systems. 4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference, Jun 2004, Catania, Italy. <hal-00309686>
  • Christophe Rippert, Alexandre Courbot, Gilles Grimaud. A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines. 3rd ACM International Conference on the Principles and Practice of Programming in Java, 2004, Las Vegas, USA, 2004. <inria-00113684>
  • Damien Deville, Christophe Rippert, Gilles Grimaud. Flexible Bindings for Type-Safe Embedded Operating Systems.. ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference, Jun 2004, Oslo, Norway. <hal-00309687>
  • Christophe Rippert, Damien Deville, Gilles Grimaud. On-The-Fly Metadata Stripping For Embedded Java Operating Systems. 6th IFIP Smart Card Research and Advanced Application Conference, 2004, Toulouse, France. pp.Cardis04, 2004. <hal-00292259>
  • Damien Deville, Alexandre Courbot, Gilles Grimaud. Extensions Temps-Réel pour Exo-Noyau Embarqué. 3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), 2003, La Colle sur Loup, France, 2003. <inria-00113776>

Rapport5 documents

  • Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Cross-layer enhancement of Web servers dedicated to small devices. [Technical Report] RT-0349, INRIA. 2008, pp.27. <inria-00258785v2>
  • Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. [Research Report] RR-5937, INRIA. 2006, pp.23. <inria-00081200v2>
  • Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. Romization: Early Deployment and Customization of Java Systems for Restrained Devices. [Research Report] 2005. <inria-00113772>
  • Damien Deville, Christophe Rippert, Gilles Grimaud. Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel. [Research Report] RR-5161, INRIA. 2004. <inria-00077048>
  • Christophe Rippert, Damien Deville, Gilles Grimaud. Alternative schemes for low-footprint operating systems building. [Research Report] RR-5220, INRIA. 2004, pp.12. <inria-00070774>

Article dans une revue1 document

  • Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. On the Use of metatypes for safe embedded operating system extension. International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2007, 22 (1), pp.1--13. <10.1080/17445760600761437>. <inria-00542544>