Gilles Grimaud

Professeur des universités CNU : SECTION 27 - Informatique

UMR 9189 - CRISTAL

Publications

{ "response":{ "numFound":78, "start":0, "numFoundExact":true, "docs":[{ "citationRef_s":"Ellipses, 2025, 9782340103849", "citationFull_s":"Aslı Grimaud, Gilles Grimaud. Informatique MP2I. Ellipses, 2025, 9782340103849. <a target=\"_blank\" href=\"https://hal.science/hal-05440644v1\">⟨hal-05440644⟩</a>", "title_s":["Informatique MP2I"], "authFullName_s":["Aslı Grimaud","Gilles Grimaud"], "halId_s":"hal-05440644", "docType_s":"OUV", "producedDateY_i":2025 },{ "citationRef_s":"DCOSS-IoT 2025 - 21st International Conference on Distributed Computing in Smart Systems and the Internet of Things, Jun 2025, Lucca, Italy", "citationFull_s":"Frédéric Fort, Hugo Forraz, Koen Zandberg, Gilles Grimaud, Emmanuel Baccelli. Microcontroller Software Continuous Deployment: Secure Partial Update Realms for RIOT (PURR). DCOSS-IoT 2025 - 21st International Conference on Distributed Computing in Smart Systems and the Internet of Things, Jun 2025, Lucca, Italy. <a target=\"_blank\" href=\"https://hal.science/hal-05097033v1\">⟨hal-05097033⟩</a>", "title_s":["Microcontroller Software Continuous Deployment: Secure Partial Update Realms for RIOT (PURR)"], "authFullName_s":["Frédéric Fort","Hugo Forraz","Koen Zandberg","Gilles Grimaud","Emmanuel Baccelli"], "halId_s":"hal-05097033", "docType_s":"COMM", "producedDateY_i":2025 },{ "citationRef_s":"CSCS25 (2025 25th International Conference on Control Systems and Computer Science (CSCS25)), Ioan Dumitrache; Mihnea Moisescu; Florin Pop; Dana Copot; Dragos Popescu, May 2025, Buccarest, Romania", "citationFull_s":"Hugo Forraz, Shems Petremand, Claire Soyez-Martin, David Nowak, Gilles Grimaud. Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case. CSCS25 (2025 25th International Conference on Control Systems and Computer Science (CSCS25)), Ioan Dumitrache; Mihnea Moisescu; Florin Pop; Dana Copot; Dragos Popescu, May 2025, Buccarest, Romania. <a target=\"_blank\" href=\"https://hal.science/hal-05185254v1\">⟨hal-05185254⟩</a>", "title_s":["Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case"], "authFullName_s":["Hugo Forraz","Shems Petremand","Claire Soyez-Martin","David Nowak","Gilles Grimaud"], "halId_s":"hal-05185254", "docType_s":"COMM", "producedDateY_i":2025 },{ "citationRef_s":"ACM Transactions on Software Engineering and Methodology, In press, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3664807\">⟨10.1145/3664807⟩</a>", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud, Narjes Jomaa. Code to Qed, the Project Manager's Guide to Proof Engineering. ACM Transactions on Software Engineering and Methodology, In press, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3664807\">⟨10.1145/3664807⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04600011v1\">⟨hal-04600011⟩</a>", "title_s":["Code to Qed, the Project Manager's Guide to Proof Engineering"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud","Narjes Jomaa"], "halId_s":"hal-04600011", "docType_s":"ART", "producedDateY_i":2024 },{ "citationRef_s":"CloudNet2023, Nov 2023, New York, United States", "citationFull_s":"Clément Boin, Tristan Groléat, Xavier Guillaume, Gilles Grimaud, Michaël Hauspie. Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure. CloudNet2023, Nov 2023, New York, United States. <a target=\"_blank\" href=\"https://hal.science/hal-04262657v1\">⟨hal-04262657⟩</a>", "title_s":["Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure"], "authFullName_s":["Clément Boin","Tristan Groléat","Xavier Guillaume","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-04262657", "docType_s":"COMM", "producedDateY_i":2023 },{ "citationRef_s":"19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023), Jun 2023, Montréal, Canada. pp.84-91, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/WiMob58348.2023.10187745\">⟨10.1109/WiMob58348.2023.10187745⟩</a>", "citationFull_s":"Olivier Lourme, Gilles Grimaud, Michaël Hauspie. ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems. 19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023), Jun 2023, Montréal, Canada. pp.84-91, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/WiMob58348.2023.10187745\">⟨10.1109/WiMob58348.2023.10187745⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04173958v1\">⟨hal-04173958⟩</a>", "title_s":["ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems"], "authFullName_s":["Olivier Lourme","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-04173958", "docType_s":"COMM", "producedDateY_i":2023 },{ "citationRef_s":"International Journal of Embedded Systems and Applications, 2023, 13 (02), pp.1-21. <a target=\"_blank\" href=\"https://dx.doi.org/10.5121/ijesa.2023.13201\">⟨10.5121/ijesa.2023.13201⟩</a>", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices. International Journal of Embedded Systems and Applications, 2023, 13 (02), pp.1-21. <a target=\"_blank\" href=\"https://dx.doi.org/10.5121/ijesa.2023.13201\">⟨10.5121/ijesa.2023.13201⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04185923v1\">⟨hal-04185923⟩</a>", "title_s":["Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud"], "halId_s":"hal-04185923", "docType_s":"ART", "producedDateY_i":2023 },{ "citationRef_s":"3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022), Dec 2022, Sydney, Australia", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. From MMU to MPU: adaptation of the Pip kernel to constrained devices. 3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022), Dec 2022, Sydney, Australia. <a target=\"_blank\" href=\"https://hal.science/hal-03705114v2\">⟨hal-03705114v2⟩</a>", "title_s":["From MMU to MPU: adaptation of the Pip kernel to constrained devices"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud"], "halId_s":"hal-03705114", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022), Jul 2022, Amiens, France", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Evaluation d'une solution d'isolation pour objets contraints. Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022), Jul 2022, Amiens, France. <a target=\"_blank\" href=\"https://hal.science/hal-03710419v1\">⟨hal-03710419⟩</a>", "title_s":["Evaluation d'une solution d'isolation pour objets contraints"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud"], "halId_s":"hal-03710419", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/RTAS54340.2022.00030\">⟨10.1109/RTAS54340.2022.00030⟩</a>", "citationFull_s":"Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud. A Formal Correctness Proof for an EDF Scheduler Implementation. RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/RTAS54340.2022.00030\">⟨10.1109/RTAS54340.2022.00030⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03671598v2\">⟨hal-03671598v2⟩</a>", "title_s":["A Formal Correctness Proof for an EDF Scheduler Implementation"], "authFullName_s":["Florian Vanhems","Vlad Rusu","David Nowak","Gilles Grimaud"], "halId_s":"hal-03671598", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CTISC54888.2022.9849755\">⟨10.1109/CTISC54888.2022.9849755⟩</a>", "citationFull_s":"Clément Boin, Xavier Guillaume, Gilles Grimaud, Tristan Groléat, Michaël Hauspie. One Year of DDoS Attacks Against a Cloud Provider: an Overview. 4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/CTISC54888.2022.9849755\">⟨10.1109/CTISC54888.2022.9849755⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03655003v2\">⟨hal-03655003v2⟩</a>", "title_s":["One Year of DDoS Attacks Against a Cloud Provider: an Overview","Un an d'attaques DDoS contre un fournisseur Cloud: constat et analyse"], "authFullName_s":["Clément Boin","Xavier Guillaume","Gilles Grimaud","Tristan Groléat","Michaël Hauspie"], "halId_s":"hal-03655003", "docType_s":"COMM", "producedDateY_i":2022 },{ "citationRef_s":"Hachette Education, pp.352, 2022, 978-2-01-786634-3", "citationFull_s":"Michel Beaudouin-Lafon, Céline Chevalier, Gilles Grimaud, Benoit Groz, Philippe Marquet, et al.. Numérique et Sciences Informatiques, Terminale spécialité. Hachette Education, pp.352, 2022, 978-2-01-786634-3. <a target=\"_blank\" href=\"https://hal.science/hal-03814079v1\">⟨hal-03814079⟩</a>", "title_s":["Numérique et Sciences Informatiques, Terminale spécialité"], "authFullName_s":["Michel Beaudouin-Lafon","Céline Chevalier","Gilles Grimaud","Benoit Groz","Philippe Marquet","Mathieu Nancel","Cristel Pelsser","Xavier Redon","Thomas Vantroys","Emmanuel Waller"], "halId_s":"hal-03814079", "docType_s":"OUV", "producedDateY_i":2022 },{ "citationRef_s":"2021 8th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2021, Rome, France. pp.334-341, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FiCloud49777.2021.00055\">⟨10.1109/FiCloud49777.2021.00055⟩</a>", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Nested compartmentalisation for constrained devices. 2021 8th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2021, Rome, France. pp.334-341, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FiCloud49777.2021.00055\">⟨10.1109/FiCloud49777.2021.00055⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03679889v1\">⟨hal-03679889⟩</a>", "title_s":["Nested compartmentalisation for constrained devices"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud"], "halId_s":"hal-03679889", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"FiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Roma, Italy", "citationFull_s":"François Bouchaud, Thomas Vantroys, Gilles Grimaud. Forensic analysis of IoT ecosystem. FiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Roma, Italy. <a target=\"_blank\" href=\"https://hal.science/hal-03369836v1\">⟨hal-03369836⟩</a>", "title_s":["Forensic analysis of IoT ecosystem"], "authFullName_s":["François Bouchaud","Thomas Vantroys","Gilles Grimaud"], "halId_s":"hal-03369836", "docType_s":"COMM", "producedDateY_i":2021 },{ "citationRef_s":"RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), Dec 2020, Online, France", "citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Perspectives on security kernels for IoT. RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), Dec 2020, Online, France. <a target=\"_blank\" href=\"https://hal.science/hal-03102252v1\">⟨hal-03102252⟩</a>", "title_s":["Perspectives on security kernels for IoT"], "authFullName_s":["Nicolas Dejon","Chrystel Gaber","Gilles Grimaud"], "halId_s":"hal-03102252", "docType_s":"COMM", "producedDateY_i":2020 },{ "citationRef_s":"EAI International Conference on Digital Forensics & Cyber Crime, Oct 2020, Boston, United States. pp.44-61, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-68734-2_3\">⟨10.1007/978-3-030-68734-2_3⟩</a>", "citationFull_s":"François Bouchaud, Thomas Vantroys, Gilles Grimaud. Evidence Gathering in IoT Criminal Investigation. EAI International Conference on Digital Forensics & Cyber Crime, Oct 2020, Boston, United States. pp.44-61, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-68734-2_3\">⟨10.1007/978-3-030-68734-2_3⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03385405v1\">⟨hal-03385405⟩</a>", "title_s":["Evidence Gathering in IoT Criminal Investigation"], "authFullName_s":["François Bouchaud","Thomas Vantroys","Gilles Grimaud"], "halId_s":"hal-03385405", "docType_s":"COMM", "producedDateY_i":2020 },{ "citationRef_s":"COINS 2020, Aug 2020, Barcelona, Spain", "citationFull_s":"François Bouchaud, Thomas Vantroys, Gilles Grimaud, Pierrick Buret. Discovering Connected Objects in the Criminal Investigations. COINS 2020, Aug 2020, Barcelona, Spain. <a target=\"_blank\" href=\"https://hal.science/hal-02934143v1\">⟨hal-02934143⟩</a>", "title_s":["Discovering Connected Objects in the Criminal Investigations"], "authFullName_s":["François Bouchaud","Thomas Vantroys","Gilles Grimaud","Pierrick Buret"], "halId_s":"hal-02934143", "docType_s":"COMM", "producedDateY_i":2020 },{ "citationRef_s":"Sixth International Workshop on Internet of Things: Networking Applications and Technologies, Jun 2020, Paris, France", "citationFull_s":"Étienne Helluy-Lafont, Alexandre Boé, Gilles Grimaud, Michaël Hauspie. Bluetooth devices fingerprinting using low cost SDR. Sixth International Workshop on Internet of Things: Networking Applications and Technologies, Jun 2020, Paris, France. <a target=\"_blank\" href=\"https://hal.science/hal-02498774v1\">⟨hal-02498774⟩</a>", "title_s":["Bluetooth devices fingerprinting using low cost SDR","Génération d'empreintes de périphériques Bluetooth à l'aide d'une radio logicielle à bas coûts"], "authFullName_s":["Étienne Helluy-Lafont","Alexandre Boé","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-02498774", "docType_s":"COMM", "producedDateY_i":2020 },{ "citationRef_s":"Science of Computer Programming, 2020, 186, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2019.102342\">⟨10.1016/j.scico.2019.102342⟩</a>", "citationFull_s":"Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. Science of Computer Programming, 2020, 186, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2019.102342\">⟨10.1016/j.scico.2019.102342⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01962912v2\">⟨hal-01962912v2⟩</a>", "title_s":["Proving Partial-Correctness and Invariance Properties of Transition-System Models"], "authFullName_s":["Vlad Rusu","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-01962912", "docType_s":"ART", "producedDateY_i":2020 },{ "citationRef_s":"Journal of Universal Computer Science, 2019, 25 (9), pp.1199-1218", "citationFull_s":"François Bouchaud, Gilles Grimaud, Thomas Vantroys, Pierrick Buret. Digital Investigation of IoT Devices in the Criminal Scene. Journal of Universal Computer Science, 2019, 25 (9), pp.1199-1218. <a target=\"_blank\" href=\"https://hal.science/hal-02432740v1\">⟨hal-02432740⟩</a>", "title_s":["Digital Investigation of IoT Devices in the Criminal Scene"], "authFullName_s":["François Bouchaud","Gilles Grimaud","Thomas Vantroys","Pierrick Buret"], "halId_s":"hal-02432740", "docType_s":"ART", "producedDateY_i":2019 },{ "citationRef_s":"INTESA: INTelligent Embedded Systems Architectures and Applications, Oct 2018, Turin, Italy. pp.7-12, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3285017.3285025\">⟨10.1145/3285017.3285025⟩</a>", "citationFull_s":"Nadir Cherifi, Alexandre Boé, Thomas Vantroys, Colombe Herault, Gilles Grimaud. A low-cost energy consumption measurement platform. INTESA: INTelligent Embedded Systems Architectures and Applications, Oct 2018, Turin, Italy. pp.7-12, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3285017.3285025\">⟨10.1145/3285017.3285025⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03134049v1\">⟨hal-03134049⟩</a>", "title_s":["A low-cost energy consumption measurement platform"], "authFullName_s":["Nadir Cherifi","Alexandre Boé","Thomas Vantroys","Colombe Herault","Gilles Grimaud"], "halId_s":"hal-03134049", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Science of Computer Programming, 2018, 162, pp.76-92. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2017.06.012\">⟨10.1016/j.scico.2017.06.012⟩</a>", "citationFull_s":"Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. Formal proof of dynamic memory isolation based on MMU. Science of Computer Programming, 2018, 162, pp.76-92. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.scico.2017.06.012\">⟨10.1016/j.scico.2017.06.012⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01712347v1\">⟨hal-01712347⟩</a>", "title_s":["Formal proof of dynamic memory isolation based on MMU"], "authFullName_s":["Narjes Jomaa","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01712347", "docType_s":"ART", "producedDateY_i":2018 },{ "citationRef_s":"TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering, Aug 2018, Guangzhou, China. pp.60-67, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2018.00016\">⟨10.1109/TASE.2018.00016⟩</a>", "citationFull_s":"Vlad Rusu, Gilles Grimaud, Michaël Hauspie. Proving Partial-Correctness and Invariance Properties of Transition-System Models. TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering, Aug 2018, Guangzhou, China. pp.60-67, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2018.00016\">⟨10.1109/TASE.2018.00016⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01816798v1\">⟨hal-01816798⟩</a>", "title_s":["Proving Partial-Correctness and Invariance Properties of Transition-System Models"], "authFullName_s":["Vlad Rusu","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-01816798", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"The 13th International Conference on Availability, Reliability and Security (ARES 2018), Aug 2018, Hamburg, Germany", "citationFull_s":"François Bouchaud, Gilles Grimaud, Thomas Vantroys. IoT Forensic: identification and classification of evidence in criminal investigations. The 13th International Conference on Availability, Reliability and Security (ARES 2018), Aug 2018, Hamburg, Germany. <a target=\"_blank\" href=\"https://hal.science/hal-01820498v1\">⟨hal-01820498⟩</a>", "title_s":["IoT Forensic: identification and classification of evidence in criminal investigations"], "authFullName_s":["François Bouchaud","Gilles Grimaud","Thomas Vantroys"], "halId_s":"hal-01820498", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece", "citationFull_s":"Quentin Bergougnoux, Gilles Grimaud, Julien Iguchi-Cartigny. Porting the Pip proto-kernel's model to multi-core environments. 16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece. <a target=\"_blank\" href=\"https://hal.science/hal-01819676v1\">⟨hal-01819676⟩</a>", "title_s":["Porting the Pip proto-kernel's model to multi-core environments"], "authFullName_s":["Quentin Bergougnoux","Gilles Grimaud","Julien Iguchi-Cartigny"], "halId_s":"hal-01819676", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"FiCloud 2018, Aug 2018, Barcelona, Spain", "citationFull_s":"Mahieddine Yaker, Chrystel Gaber, Gilles Grimaud, Jean-Philippe Wary, Vicente Sanchez-Leighton, et al.. Ensuring IoT security with an architecture based on a separation kernel. FiCloud 2018, Aug 2018, Barcelona, Spain. <a target=\"_blank\" href=\"https://hal.science/hal-01819666v1\">⟨hal-01819666⟩</a>", "title_s":["Ensuring IoT security with an architecture based on a separation kernel"], "authFullName_s":["Mahieddine Yaker","Chrystel Gaber","Gilles Grimaud","Jean-Philippe Wary","Vicente Sanchez-Leighton","Julien Iguchi-Cartigny","Xiao Han"], "halId_s":"hal-01819666", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. <a target=\"_blank\" href=\"https://dx.doi.org/10.14279/tuj.eceasst.76.1080\">⟨10.14279/tuj.eceasst.76.1080⟩</a>", "citationFull_s":"Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym. Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), Jul 2018, Oxford, United Kingdom. <a target=\"_blank\" href=\"https://dx.doi.org/10.14279/tuj.eceasst.76.1080\">⟨10.14279/tuj.eceasst.76.1080⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01816830v2\">⟨hal-01816830v2⟩</a>", "title_s":["Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base"], "authFullName_s":["Narjes Jomaa","Paolo Torrini","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01816830", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Compas 2018, Jul 2018, Toulouse, France", "citationFull_s":"Mahieddine Yaker, Gilles Grimaud, Julien Iguchi-Cartigny. Utilisation d'un proto-noyau d'isolation mémoire pour maintenir les propriétés temps-réel d'un système à criticité mixte. Compas 2018, Jul 2018, Toulouse, France. <a target=\"_blank\" href=\"https://hal.science/hal-01823572v1\">⟨hal-01823572⟩</a>", "title_s":["Utilisation d'un proto-noyau d'isolation mémoire pour maintenir les propriétés temps-réel d'un système à criticité mixte"], "authFullName_s":["Mahieddine Yaker","Gilles Grimaud","Julien Iguchi-Cartigny"], "halId_s":"hal-01823572", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Compas 2018, Jul 2018, Toulouse, France", "citationFull_s":"Quentin Bergougnoux, Gilles Grimaud, Julien Iguchi-Cartigny. Evolution du modèle du proto-noyau PIP vers les architectures SMP. Compas 2018, Jul 2018, Toulouse, France. <a target=\"_blank\" href=\"https://hal.science/hal-01820482v1\">⟨hal-01820482⟩</a>", "title_s":["Evolution du modèle du proto-noyau PIP vers les architectures SMP"], "authFullName_s":["Quentin Bergougnoux","Gilles Grimaud","Julien Iguchi-Cartigny"], "halId_s":"hal-01820482", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"Workshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3195258.3195262\">⟨10.1145/3195258.3195262⟩</a>", "citationFull_s":"Christophe Bacara, Michaël Hauspie, Damien Deville, Gilles Grimaud. Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances. Workshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3195258.3195262\">⟨10.1145/3195258.3195262⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01801080v1\">⟨hal-01801080⟩</a>", "title_s":["Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances"], "authFullName_s":["Christophe Bacara","Michaël Hauspie","Damien Deville","Gilles Grimaud"], "halId_s":"hal-01801080", "docType_s":"COMM", "producedDateY_i":2018 },{ "citationRef_s":"2017", "citationFull_s":"Vlad Rusu, Gilles Grimaud, Michaël Hauspie, François Serman. Deductive Verification of a Hypervisor Model. 2017. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01614509v2\">⟨hal-01614509v2⟩</a>", "title_s":["Deductive Verification of a Hypervisor Model"], "authFullName_s":["Vlad Rusu","Gilles Grimaud","Michaël Hauspie","François Serman"], "halId_s":"hal-01614509", "docType_s":"UNDEFINED", "producedDateY_i":2017 },{ "citationRef_s":"FiCloud 2017 : The 5th International Conference on Future Internet of Things and Cloud, Aug 2017, Prague, Czech Republic", "citationFull_s":"Nadir Cherifi, Thomas Vantroys, Alexandre Boé, Colombe Hérault, Gilles Grimaud. Automatic Inference of Energy Models for Peripheral Components in Embedded Systems. FiCloud 2017 : The 5th International Conference on Future Internet of Things and Cloud, Aug 2017, Prague, Czech Republic. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01599169v1\">⟨hal-01599169⟩</a>", "title_s":["Automatic Inference of Energy Models for Peripheral Components in Embedded Systems"], "authFullName_s":["Nadir Cherifi","Thomas Vantroys","Alexandre Boé","Colombe Hérault","Gilles Grimaud"], "halId_s":"hal-01599169", "docType_s":"COMM", "producedDateY_i":2017 },{ "citationRef_s":"SAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States", "citationFull_s":"Nicolas Echallier, Gilles Grimaud, Julien Iguchi-Cartigny, Jean-Marie Place, Jean-Philippe Wary. Virtual Keyboard Logging Counter-measures using Common Fate's Law. SAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States. <a target=\"_blank\" href=\"https://hal.science/hal-01820025v1\">⟨hal-01820025⟩</a>", "title_s":["Virtual Keyboard Logging Counter-measures using Common Fate's Law"], "authFullName_s":["Nicolas Echallier","Gilles Grimaud","Julien Iguchi-Cartigny","Jean-Marie Place","Jean-Philippe Wary"], "halId_s":"hal-01820025", "docType_s":"COMM", "producedDateY_i":2017 },{ "citationRef_s":"IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing , Jul 2017, Torino, Italy", "citationFull_s":"Valentin Lefils, Gilles Grimaud, Julien Iguchi-Cartigny. EE-CFI: Externalized Control Flow Integrity for Embedded Devices. IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing , Jul 2017, Torino, Italy. <a target=\"_blank\" href=\"https://hal.science/hal-01820001v1\">⟨hal-01820001⟩</a>", "title_s":["EE-CFI: Externalized Control Flow Integrity for Embedded Devices"], "authFullName_s":["Valentin Lefils","Gilles Grimaud","Julien Iguchi-Cartigny"], "halId_s":"hal-01820001", "docType_s":"COMM", "producedDateY_i":2017 },{ "citationRef_s":"Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France", "citationFull_s":"Quentin Bergougnoux, Julien Iguchi-Cartigny, Gilles Grimaud. Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés. Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France. <a target=\"_blank\" href=\"https://hal.science/hal-01556564v1\">⟨hal-01556564⟩</a>", "title_s":["Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés"], "authFullName_s":["Quentin Bergougnoux","Julien Iguchi-Cartigny","Gilles Grimaud"], "halId_s":"hal-01556564", "docType_s":"COMM", "producedDateY_i":2017 },{ "citationRef_s":"NTMS 2016 - 8th IFIP International Conference on New Technologies, Mobility and Security , Nov 2016, Larnaca, Cyprus. pp.1 - 4, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/NTMS.2016.7792483\">⟨10.1109/NTMS.2016.7792483⟩</a>", "citationFull_s":"Nadir Cherifi, Gilles Grimaud, Alexandre Boé, Thomas Vantroys. Toward Energy Profiling of Connected Embedded Systems. NTMS 2016 - 8th IFIP International Conference on New Technologies, Mobility and Security , Nov 2016, Larnaca, Cyprus. pp.1 - 4, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/NTMS.2016.7792483\">⟨10.1109/NTMS.2016.7792483⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01599164v1\">⟨hal-01599164⟩</a>", "title_s":["Toward Energy Profiling of Connected Embedded Systems"], "authFullName_s":["Nadir Cherifi","Gilles Grimaud","Alexandre Boé","Thomas Vantroys"], "halId_s":"hal-01599164", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"10th International Symposium on Theoretical Aspects of Software Engineering, Jul 2016, Shanghai, China. pp.73-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2016.28\">⟨10.1109/TASE.2016.28⟩</a>", "citationFull_s":"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. pp.73-80, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TASE.2016.28\">⟨10.1109/TASE.2016.28⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01369769v1\">⟨hal-01369769⟩</a>", "title_s":["Formal Proof of Dynamic Memory Isolation Based on MMU"], "authFullName_s":["Narjes Jomaa","David Nowak","Gilles Grimaud","Samuel Hym"], "halId_s":"hal-01369769", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-01379295v1\">⟨hal-01379295⟩</a>", "title_s":["Hypervision logicielle et défiance matérielle"], "authFullName_s":["François Serman","Michaël Hauspie","Gilles Grimaud"], "halId_s":"hal-01379295", "docType_s":"COMM", "producedDateY_i":2016 },{ "citationRef_s":"Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on, Aug 2015, New York, NY, United States. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/HPCC-CSS-ICESS.2015.269\">⟨10.1109/HPCC-CSS-ICESS.2015.269⟩</a>", "citationFull_s":"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. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/HPCC-CSS-ICESS.2015.269\">⟨10.1109/HPCC-CSS-ICESS.2015.269⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01249877v1\">⟨hal-01249877⟩</a>", "title_s":["Virtual Keyboard Logging Counter-Measures Using Human Vision Properties"], "authFullName_s":["Christophe Bacara","Valentin Lefils","Julien Iguchi-Cartigny","Gilles Grimaud","Jean-Philippe Wary"], "halId_s":"hal-01249877", "docType_s":"COMM", "producedDateY_i":2015 },{ "citationRef_s":"FiCloud - International Conference on Future Internet of Things and Cloud - 2015, Helen Karatza; Beniamino Di Martino, Aug 2015, Rome, Italy. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FiCloud.2015.90\">⟨10.1109/FiCloud.2015.90⟩</a>", "citationFull_s":"Nadir Cherifi, Gilles Grimaud, Thomas Vantroys, Alexandre Boé. Energy Consumption of Networked Embedded Systems. FiCloud - International Conference on Future Internet of Things and Cloud - 2015, Helen Karatza; Beniamino Di Martino, Aug 2015, Rome, Italy. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/FiCloud.2015.90\">⟨10.1109/FiCloud.2015.90⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01193142v1\">⟨hal-01193142⟩</a>", "title_s":["Energy Consumption of Networked Embedded Systems"], "authFullName_s":["Nadir Cherifi","Gilles Grimaud","Thomas Vantroys","Alexandre Boé"], "halId_s":"hal-01193142", "docType_s":"COMM", "producedDateY_i":2015 },{ "citationRef_s":"Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-01232261v1\">⟨hal-01232261⟩</a>", "title_s":["Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe"], "authFullName_s":["Pierrick Buret","Julien Iguchi-Cartigny","Gilles Grimaud"], "halId_s":"hal-01232261", "docType_s":"COMM", "producedDateY_i":2015 },{ "citationRef_s":"Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-01122780v1\">⟨hal-01122780⟩</a>", "title_s":["Preuve formelle d'isolation mémoire dynamique à base de MMU"], "authFullName_s":["Narjes Jomaa","David Nowak","Gilles Grimaud","Julien Iguchi-Cartigny"], "halId_s":"hal-01122780", "docType_s":"COMM", "producedDateY_i":2015 },{ "citationRef_s":"Science and Information Conference (SAI), 2014, Aug 2014, Londres, United Kingdom. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/SAI.2014.6918197\">⟨10.1109/SAI.2014.6918197⟩</a>", "citationFull_s":"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. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/SAI.2014.6918197\">⟨10.1109/SAI.2014.6918197⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01117977v1\">⟨hal-01117977⟩</a>", "title_s":["Survey on adaptation techniques of energy consumption within a smartphone"], "authFullName_s":["Khalil Ibrahim Hamzaoui","Gilles Grimaud","Mohammed Berrajaa","Mostafa Azizi","Abdelkader Betari"], "halId_s":"hal-01117977", "docType_s":"COMM", "producedDateY_i":2014 },{ "citationRef_s":"9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-01131239v1\">⟨hal-01131239⟩</a>", "title_s":["Genetic Algorithm for DWCET Evaluation on Complex Platform"], "authFullName_s":["Julien Iguchi-Cartigny","Pierrick Buret","Gilles Grimaud"], "halId_s":"hal-01131239", "docType_s":"COMM", "producedDateY_i":2014 },{ "citationRef_s":"International Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-00996876v1\">⟨hal-00996876⟩</a>", "title_s":["DISCUS: A massively distributed IDS architecture using a DSL-based configuration"], "authFullName_s":["Damien Riquet","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-00996876", "docType_s":"COMM", "producedDateY_i":2014 },{ "citationRef_s":"ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse", "citationFull_s":"Damien Riquet, Gilles Grimaud, Michaël Hauspie. Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité. ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse. <a target=\"_blank\" href=\"https://hal.science/hal-00995674v1\">⟨hal-00995674⟩</a>", "title_s":["Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité"], "authFullName_s":["Damien Riquet","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-00995674", "docType_s":"COMM", "producedDateY_i":2014 },{ "citationRef_s":"Samia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/hal-00870778v1\">⟨hal-00870778⟩</a>", "title_s":["Les systèmes d'exploitation de la carte à microprocesseur"], "authFullName_s":["Michaël Hauspie","Gilles Grimaud"], "halId_s":"hal-00870778", "docType_s":"COUV", "producedDateY_i":2013 },{ "citationRef_s":"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", "citationFull_s":"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. 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. <a target=\"_blank\" href=\"https://hal.science/hal-00746991v1\">⟨hal-00746991⟩</a>", "title_s":["Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux"], "authFullName_s":["Damien Riquet","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-00746991", "docType_s":"COMM", "producedDateY_i":2012 },{ "citationRef_s":"The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-00723739v1\">⟨hal-00723739⟩</a>", "title_s":["Large-scale coordinated attacks : Impact on the cloud security"], "authFullName_s":["Damien Riquet","Gilles Grimaud","Michaël Hauspie"], "halId_s":"hal-00723739", "docType_s":"COMM", "producedDateY_i":2012 },{ "citationRef_s":"Mascots, Aug 2010, 18th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis and Simulation of, United States", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00514501v1\">⟨inria-00514501⟩</a>", "title_s":["Efficient Web Requests Scheduling Considering Resources Sharing"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud"], "halId_s":"inria-00514501", "docType_s":"COMM", "producedDateY_i":2010 },{ "citationRef_s":"9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.102-117, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-12510-2_8\">⟨10.1007/978-3-642-12510-2_8⟩</a>", "citationFull_s":"Geoffroy Cogniaux, Gilles Grimaud. Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. 9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.102-117, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-12510-2_8\">⟨10.1007/978-3-642-12510-2_8⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00529489v2\">⟨inria-00529489v2⟩</a>", "title_s":["Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale"], "authFullName_s":["Geoffroy Cogniaux","Gilles Grimaud"], "halId_s":"inria-00529489", "docType_s":"COMM", "producedDateY_i":2010 },{ "citationRef_s":"Emsoft 2009, Oct 2009, Grenoble, France", "citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Serving Embedded Content via Web Applications: Model, Design and Experimentation. Emsoft 2009, Oct 2009, Grenoble, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00424372v1\">⟨inria-00424372⟩</a>", "title_s":["Serving Embedded Content via Web Applications: Model, Design and Experimentation"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00424372", "docType_s":"COMM", "producedDateY_i":2009 },{ "citationRef_s":"WSE 2009, Sep 2009, Edmonton, Canada", "citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Consistency and scalability in event notification for embedded Web applications. WSE 2009, Sep 2009, Edmonton, Canada. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00422386v1\">⟨inria-00422386⟩</a>", "title_s":["Consistency and scalability in event notification for embedded Web applications"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00422386", "docType_s":"COMM", "producedDateY_i":2009 },{ "citationRef_s":"ICESS 2009, May 2009, HangZhou, Chile", "citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. The Web of Things: interconnecting devices with high usability and performance. ICESS 2009, May 2009, HangZhou, Chile. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00390615v1\">⟨inria-00390615⟩</a>", "title_s":["The Web of Things: interconnecting devices with high usability and performance"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00390615", "docType_s":"COMM", "producedDateY_i":2009 },{ "citationRef_s":"IMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing, Mar 2009, Fukuoka, Japan", "citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Smews: Smart and Mobile Embedded Web Server. IMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing, Mar 2009, Fukuoka, Japan. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00385140v2\">⟨inria-00385140v2⟩</a>", "title_s":["Smews: Smart and Mobile Embedded Web Server"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00385140", "docType_s":"COMM", "producedDateY_i":2009 },{ "citationRef_s":"e-Smart Conf., Sophia Antipolis, Jan 2008, X, France", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-01125551v1\">⟨hal-01125551⟩</a>", "title_s":["An Open-Source Tool to Benchmark Java Card Platforms"], "authFullName_s":["Samia Bouzefrane","Julien Cordry","Gilles Grimaud","Pierre Paradinas"], "halId_s":"hal-01125551", "docType_s":"COMM", "producedDateY_i":2008 },{ "citationRef_s":"[Technical Report] RT-0349, INRIA. 2008, pp.27", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00258785v2\">⟨inria-00258785v2⟩</a>", "title_s":["Cross-layer enhancement of Web servers dedicated to small devices"], "authFullName_s":["Simon Duquennoy","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00258785", "docType_s":"REPORT", "producedDateY_i":2008 },{ "citationRef_s":"Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. pp.189--201", "citationFull_s":"Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. An information flow verifier for small embedded systems. Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. pp.189--201. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00544955v1\">⟨inria-00544955⟩</a>", "title_s":["An information flow verifier for small embedded systems"], "authFullName_s":["Dorina Ghindici","Gilles Grimaud","Isabelle Simplot-Ryl"], "halId_s":"inria-00544955", "docType_s":"COMM", "producedDateY_i":2007 },{ "citationRef_s":"International Journal of Parallel, Emergent and Distributed Systems, 2007, 22 (1), pp.1--13. <a target=\"_blank\" href=\"https://dx.doi.org/10.1080/17445760600761437\">⟨10.1080/17445760600761437⟩</a>", "citationFull_s":"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, 2007, 22 (1), pp.1--13. <a target=\"_blank\" href=\"https://dx.doi.org/10.1080/17445760600761437\">⟨10.1080/17445760600761437⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00542544v1\">⟨inria-00542544⟩</a>", "title_s":["On the Use of metatypes for safe embedded operating system extension"], "authFullName_s":["Gilles Grimaud","Yann Hodique","Isabelle Simplot-Ryl"], "halId_s":"inria-00542544", "docType_s":"ART", "producedDateY_i":2007 },{ "citationRef_s":"Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), 2007, Niagara Falls, Canada. pp.440--447", "citationFull_s":"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. pp.440--447. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546597v1\">⟨inria-00546597⟩</a>", "title_s":["A verifiable lightweight escape analysis supporting creational design patterns for small embedded systems"], "authFullName_s":["Gilles Grimaud","Yann Hodique","Isabelle Simplot-Ryl"], "halId_s":"inria-00546597", "docType_s":"COMM", "producedDateY_i":2007 },{ "citationRef_s":"Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2007, Oslo, Norway", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546657v1\">⟨inria-00546657⟩</a>", "title_s":["Contracts as a support to static analysis of open systems"], "authFullName_s":["Nadia Bel Hadj Aissa","Dorina Ghindici","Gilles Grimaud","Isabelle Simplot-Ryl"], "halId_s":"inria-00546657", "docType_s":"COMM", "producedDateY_i":2007 },{ "citationRef_s":"In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06), Apr 2006, Tarragona, Spain", "citationFull_s":"Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle. A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06), Apr 2006, Tarragona, Spain. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113758v1\">⟨inria-00113758⟩</a>", "title_s":["A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods"], "authFullName_s":["Alexandre Courbot","Mariela Pavlova","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00113758", "docType_s":"COMM", "producedDateY_i":2006 },{ "citationRef_s":"Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 2006, Nantes, France", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546662v1\">⟨inria-00546662⟩</a>", "title_s":["Can small and open embedded systems benefit from escape analysis?"], "authFullName_s":["Gilles Grimaud","Yann Hodique","Isabelle Simplot-Ryl"], "halId_s":"inria-00546662", "docType_s":"COMM", "producedDateY_i":2006 },{ "citationRef_s":"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, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/LCN.2006.322215\">⟨10.1109/LCN.2006.322215⟩</a>", "citationFull_s":"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, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/LCN.2006.322215\">⟨10.1109/LCN.2006.322215⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546614v1\">⟨inria-00546614⟩</a>", "title_s":["Integrated Security Verification and Validation: Case Study"], "authFullName_s":["Dorina Ghindici","Gilles Grimaud","Isabelle Simplot-Ryl","Issa Traore","Yanguo Liu"], "halId_s":"inria-00546614", "docType_s":"COMM", "producedDateY_i":2006 },{ "citationRef_s":"[Research Report] RR-5937, INRIA. 2006, pp.23", "citationFull_s":"Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. [Research Report] RR-5937, INRIA. 2006, pp.23. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00081200v2\">⟨inria-00081200v2⟩</a>", "title_s":["A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns"], "authFullName_s":["Gilles Grimaud","Yann Hodique","Isabelle Simplot-Ryl"], "halId_s":"inria-00081200", "docType_s":"REPORT", "producedDateY_i":2006 },{ "citationRef_s":"Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352", "citationFull_s":"Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis. Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00544957v1\">⟨inria-00544957⟩</a>", "title_s":["Embedding Verifiable Information Flow Analysis"], "authFullName_s":["Dorina Ghindici","Gilles Grimaud","Isabelle Simplot-Ryl"], "halId_s":"inria-00544957", "docType_s":"COMM", "producedDateY_i":2006 },{ "citationRef_s":"In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Dec 2005, Nice, France", "citationFull_s":"Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. Romization: Early Deployment and Customization of Java Systems for Restrained Devices. In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Dec 2005, Nice, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113752v1\">⟨inria-00113752⟩</a>", "title_s":["Romization: Early Deployment and Customization of Java Systems for Restrained Devices"], "authFullName_s":["Alexandre Courbot","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00113752", "docType_s":"COMM", "producedDateY_i":2005 },{ "citationRef_s":"Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Dec 2005, Nagasaki, Japan", "citationFull_s":"Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle, David Simplot-Ryl. Application-Driven Customization of an Embedded Java Virtual Machine. Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Dec 2005, Nagasaki, Japan. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113691v1\">⟨inria-00113691⟩</a>", "title_s":["Application-Driven Customization of an Embedded Java Virtual Machine"], "authFullName_s":["Alexandre Courbot","Gilles Grimaud","Jean-Jacques Vandewalle","David Simplot-Ryl"], "halId_s":"inria-00113691", "docType_s":"COMM", "producedDateY_i":2005 },{ "citationRef_s":"2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113693v1\">⟨inria-00113693⟩</a>", "title_s":["Ahead of time deployment in ROM of a Java-OS"], "authFullName_s":["Kévin Marquet","Alexandre Courbot","Gilles Grimaud","David Simplot-Ryl"], "halId_s":"inria-00113693", "docType_s":"COMM", "producedDateY_i":2005 },{ "citationRef_s":"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. pp.83--87", "citationFull_s":"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. pp.83--87. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546601v1\">⟨inria-00546601⟩</a>", "title_s":["Secure extensible type system for efficient embedded operating system by using metatypes"], "authFullName_s":["Gilles Grimaud","Yann Hodique","Isabelle Simplot-Ryl"], "halId_s":"inria-00546601", "docType_s":"COMM", "producedDateY_i":2005 },{ "citationRef_s":"[Research Report] 2005", "citationFull_s":"Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. Romization: Early Deployment and Customization of Java Systems for Restrained Devices. [Research Report] 2005. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113772v1\">⟨inria-00113772⟩</a>", "title_s":["Romization: Early Deployment and Customization of Java Systems for Restrained Devices"], "authFullName_s":["Alexandre Courbot","Gilles Grimaud","Jean-Jacques Vandewalle"], "halId_s":"inria-00113772", "docType_s":"REPORT", "producedDateY_i":2005 },{ "citationRef_s":"4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference, Jun 2004, Catania, Italy", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-00309686v1\">⟨hal-00309686⟩</a>", "title_s":["A Distributed WCET Computation Scheme for Smart Card Operating Systems"], "authFullName_s":["Nadia Bel Hadj Aissa","Christophe Rippert","Damien Deville","Gilles Grimaud"], "halId_s":"hal-00309686", "docType_s":"COMM", "producedDateY_i":2004 },{ "citationRef_s":"ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference, Jun 2004, Oslo, Norway", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-00309687v1\">⟨hal-00309687⟩</a>", "title_s":["Flexible Bindings for Type-Safe Embedded Operating Systems."], "authFullName_s":["Damien Deville","Christophe Rippert","Gilles Grimaud"], "halId_s":"hal-00309687", "docType_s":"COMM", "producedDateY_i":2004 },{ "citationRef_s":"3rd ACM International Conference on the Principles and Practice of Programming in Java, 2004, Las Vegas, USA", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113684v1\">⟨inria-00113684⟩</a>", "title_s":["A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines"], "authFullName_s":["Christophe Rippert","Alexandre Courbot","Gilles Grimaud"], "halId_s":"inria-00113684", "docType_s":"COMM", "producedDateY_i":2004 },{ "citationRef_s":"6th IFIP Smart Card Research and Advanced Application Conference, 2004, Toulouse, France. pp.Cardis04", "citationFull_s":"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. <a target=\"_blank\" href=\"https://hal.science/hal-00292259v1\">⟨hal-00292259⟩</a>", "title_s":["On-The-Fly Metadata Stripping For Embedded Java Operating Systems"], "authFullName_s":["Christophe Rippert","Damien Deville","Gilles Grimaud"], "halId_s":"hal-00292259", "docType_s":"COMM", "producedDateY_i":2004 },{ "citationRef_s":"[Research Report] RR-5161, INRIA. 2004", "citationFull_s":"Damien Deville, Christophe Rippert, Gilles Grimaud. Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel. [Research Report] RR-5161, INRIA. 2004. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00077048v1\">⟨inria-00077048⟩</a>", "title_s":["Trusted Collaborative Real Time Scheduling in a Smart Card Exokernel"], "authFullName_s":["Damien Deville","Christophe Rippert","Gilles Grimaud"], "halId_s":"inria-00077048", "docType_s":"REPORT", "producedDateY_i":2004 },{ "citationRef_s":"[Research Report] RR-5220, INRIA. 2004, pp.12", "citationFull_s":"Christophe Rippert, Damien Deville, Gilles Grimaud. Alternative schemes for low-footprint operating systems building. [Research Report] RR-5220, INRIA. 2004, pp.12. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00070774v1\">⟨inria-00070774⟩</a>", "title_s":["Alternative schemes for low-footprint operating systems building"], "authFullName_s":["Christophe Rippert","Damien Deville","Gilles Grimaud"], "halId_s":"inria-00070774", "docType_s":"REPORT", "producedDateY_i":2004 },{ "citationRef_s":"3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3), 2003, La Colle sur Loup, France", "citationFull_s":"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. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00113776v1\">⟨inria-00113776⟩</a>", "title_s":["Extensions Temps-Réel pour Exo-Noyau Embarqué"], "authFullName_s":["Damien Deville","Alexandre Courbot","Gilles Grimaud"], "halId_s":"inria-00113776", "docType_s":"COMM", "producedDateY_i":2003 }] } }

Rechercher

Paramétrage

Thèmes

Accessibilité

Gilles Grimaud

Publications