Gilles Grimaud
Professeur des universités
CNU : SECTION 27 - INFORMATIQUE
Laboratoire / équipe
Contact
Publications
{
"response":{
"numFound":75,
"start":0,
"numFoundExact":true,
"docs":[{
"citationRef_s":"<i>ACM Transactions on Software Engineering and Methodology</i>, 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. <i>ACM Transactions on Software Engineering and Methodology</i>, 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":"<i>CloudNet2023</i>, 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. <i>CloudNet2023</i>, 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":"<i>19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023)</i>, 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. <i>19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023)</i>, 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":"<i>International Journal of Embedded Systems and Applications</i>, 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. <i>International Journal of Embedded Systems and Applications</i>, 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":"<i>3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022)</i>, Dec 2022, Sydney, Australia",
"citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. From MMU to MPU: adaptation of the Pip kernel to constrained devices. <i>3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022)</i>, 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":"<i>Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022)</i>, Jul 2022, Amiens, France",
"citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Evaluation d'une solution d'isolation pour objets contraints. <i>Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022)</i>, 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":"<i>RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium</i>, 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. <i>RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium</i>, 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":"<i>4th International Conference on Advances in Computer Technology, Information Science and Communications</i>, 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. <i>4th International Conference on Advances in Computer Technology, Information Science and Communications</i>, 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":"<i>2021 8th International Conference on Future Internet of Things and Cloud (FiCloud)</i>, 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. <i>2021 8th International Conference on Future Internet of Things and Cloud (FiCloud)</i>, 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":"<i>FiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud</i>, Aug 2021, Roma, Italy",
"citationFull_s":"François Bouchaud, Thomas Vantroys, Gilles Grimaud. Forensic analysis of IoT ecosystem. <i>FiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud</i>, 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":"<i>RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information)</i>, Dec 2020, Online, France",
"citationFull_s":"Nicolas Dejon, Chrystel Gaber, Gilles Grimaud. Perspectives on security kernels for IoT. <i>RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information)</i>, 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":"<i>EAI International Conference on Digital Forensics & Cyber Crime</i>, 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. <i>EAI International Conference on Digital Forensics & Cyber Crime</i>, 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":"<i>COINS 2020</i>, Aug 2020, Barcelona, Spain",
"citationFull_s":"François Bouchaud, Thomas Vantroys, Gilles Grimaud, Pierrick Buret. Discovering Connected Objects in the Criminal Investigations. <i>COINS 2020</i>, 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":"<i>Sixth International Workshop on Internet of Things: Networking Applications and Technologies</i>, Jun 2020, Paris, France",
"citationFull_s":"Étienne Helluy-Lafont, Alexandre Boé, Gilles Grimaud, Michaël Hauspie. Bluetooth devices fingerprinting using low cost SDR. <i>Sixth International Workshop on Internet of Things: Networking Applications and Technologies</i>, 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":"<i>Science of Computer Programming</i>, 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. <i>Science of Computer Programming</i>, 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":"<i>Journal of Universal Computer Science</i>, 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. <i>Journal of Universal Computer Science</i>, 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":"<i>INTESA: INTelligent Embedded Systems Architectures and Applications</i>, 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. <i>INTESA: INTelligent Embedded Systems Architectures and Applications</i>, 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":"<i>Science of Computer Programming</i>, 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. <i>Science of Computer Programming</i>, 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":"<i>TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering</i>, 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. <i>TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering</i>, 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":"<i>The 13th International Conference on Availability, Reliability and Security (ARES 2018)</i>, Aug 2018, Hamburg, Germany",
"citationFull_s":"François Bouchaud, Gilles Grimaud, Thomas Vantroys. IoT Forensic: identification and classification of evidence in criminal investigations. <i>The 13th International Conference on Availability, Reliability and Security (ARES 2018)</i>, 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":"<i>16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018).</i>, Aug 2018, Athens, Greece",
"citationFull_s":"Quentin Bergougnoux, Gilles Grimaud, Julien Iguchi-Cartigny. Porting the Pip proto-kernel's model to multi-core environments. <i>16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018).</i>, 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":"<i>FiCloud 2018</i>, 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. <i>FiCloud 2018</i>, 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":"<i>18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018)</i>, 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. <i>18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018)</i>, 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":"<i>Compas 2018</i>, 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. <i>Compas 2018</i>, 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":"<i>Compas 2018</i>, 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. <i>Compas 2018</i>, 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":"<i>Workshop on Privacy by Design in Distributed Systems W-P2DS</i>, 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. <i>Workshop on Privacy by Design in Distributed Systems W-P2DS</i>, 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":"<i>FiCloud 2017 : The 5th International Conference on Future Internet of Things and Cloud</i>, 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. <i>FiCloud 2017 : The 5th International Conference on Future Internet of Things and Cloud</i>, 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":"<i>SAM'17 - International Conference on Security and Management</i>, 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. <i>SAM'17 - International Conference on Security and Management</i>, 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":"<i>IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing </i>, Jul 2017, Torino, Italy",
"citationFull_s":"Valentin Lefils, Gilles Grimaud, Julien Iguchi-Cartigny. EE-CFI: Externalized Control Flow Integrity for Embedded Devices. <i>IMIS 2017: Innovative Mobile and Internet Services in Ubiquitous Computing </i>, 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":"<i>Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS)</i>, 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. <i>Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS)</i>, 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":"<i>NTMS 2016 - 8th IFIP International Conference on New Technologies, Mobility and Security </i>, 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. <i>NTMS 2016 - 8th IFIP International Conference on New Technologies, Mobility and Security </i>, 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":"<i>10th International Symposium on Theoretical Aspects of Software Engineering</i>, 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. <i>10th International Symposium on Theoretical Aspects of Software Engineering</i>, 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":"<i>Conférence d’informatique en Parallélisme, Architecture et Système (Compas)</i>, Jul 2016, Lorient, France",
"citationFull_s":"François Serman, Michaël Hauspie, Gilles Grimaud. Hypervision logicielle et défiance matérielle. <i>Conférence d’informatique en Parallélisme, Architecture et Système (Compas)</i>, 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":"<i>Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on</i>, 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. <i>Cyberspace Safety and Security (CSS), 2015 IEEE 12th International Conferen on</i>, 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":"<i>FiCloud - International Conference on Future Internet of Things and Cloud - 2015</i>, 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. <i>FiCloud - International Conference on Future Internet of Things and Cloud - 2015</i>, 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":"<i>Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15)</i>, 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. <i>Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15)</i>, 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":"<i>Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)</i>, 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. <i>Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015)</i>, 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":"<i>Science and Information Conference (SAI), 2014</i>, 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. <i>Science and Information Conference (SAI), 2014</i>, 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":"<i>9th IEEE International Symposium on Industrial Embedded Systems</i>, Jun 2014, Pisa, Italy",
"citationFull_s":"Julien Iguchi-Cartigny, Pierrick Buret, Gilles Grimaud. Genetic Algorithm for DWCET Evaluation on Complex Platform. <i>9th IEEE International Symposium on Industrial Embedded Systems</i>, 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":"<i>International Conference on Information Science, Electronics and Electrical Engineering</i>, 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. <i>International Conference on Information Science, Electronics and Electrical Engineering</i>, 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":"<i>ComPAS 2014 : conférence en parallélisme, architecture et systèmes</i>, 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é. <i>ComPAS 2014 : conférence en parallélisme, architecture et systèmes</i>, 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. <i>Les cartes à puce</i>, Hermes, 2013, 9782746239135",
"citationFull_s":"Michaël Hauspie, Gilles Grimaud. Les systèmes d'exploitation de la carte à microprocesseur. Samia Bouzefrane and Pierre Paradinas. <i>Les cartes à puce</i>, 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":"<i>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)</i>, 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. <i>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)</i>, 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":"<i>The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012</i>, Jul 2012, Palermo, Italy. pp.558",
"citationFull_s":"Damien Riquet, Gilles Grimaud, Michaël Hauspie. Large-scale coordinated attacks : Impact on the cloud security. <i>The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012</i>, 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":"<i>Mascots</i>, 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. <i>Mascots</i>, 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":"<i>9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS)</i>, 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. <i>9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS)</i>, 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":"<i>Emsoft 2009</i>, Oct 2009, Grenoble, France",
"citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Serving Embedded Content via Web Applications: Model, Design and Experimentation. <i>Emsoft 2009</i>, 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":"<i>WSE 2009</i>, Sep 2009, Edmonton, Canada",
"citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Consistency and scalability in event notification for embedded Web applications. <i>WSE 2009</i>, 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":"<i>ICESS 2009</i>, May 2009, HangZhou, Chile",
"citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. The Web of Things: interconnecting devices with high usability and performance. <i>ICESS 2009</i>, 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":"<i>IMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing</i>, Mar 2009, Fukuoka, Japan",
"citationFull_s":"Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Smews: Smart and Mobile Embedded Web Server. <i>IMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing</i>, 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":"<i>e-Smart Conf., Sophia Antipolis</i>, Jan 2008, X, France",
"citationFull_s":"Samia Bouzefrane, Julien Cordry, Gilles Grimaud, Pierre Paradinas. An Open-Source Tool to Benchmark Java Card Platforms. <i>e-Smart Conf., Sophia Antipolis</i>, 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":"<i>Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems</i>, 2007, Heraklion, Crete, Greece. pp.189--201",
"citationFull_s":"Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. An information flow verifier for small embedded systems. <i>Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems</i>, 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":"<i>Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07)</i>, 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. <i>Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07)</i>, 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":"<i>International Journal of Parallel, Emergent and Distributed Systems</i>, 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. <i>International Journal of Parallel, Emergent and Distributed Systems</i>, 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":"<i>Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software</i>, 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. <i>Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software</i>, 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":"<i>In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06)</i>, 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. <i>In Seventh Smart Card Research and Advanced Application IFIP Conference (CARDIS'06)</i>, 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":"<i>Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)</i>, 2006, Nantes, France",
"citationFull_s":"Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. Can small and open embedded systems benefit from escape analysis?. <i>Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)</i>, 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":"[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":"<i>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)</i>, 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. <i>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)</i>, 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":"<i>Proc. 4th Annual Conference on Privacy, Security and Trust</i>, 2006, Toronto, Canada. pp.343--352",
"citationFull_s":"Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis. <i>Proc. 4th Annual Conference on Privacy, Security and Trust</i>, 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":"<i>In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05)</i>, Dec 2005, Nice, France",
"citationFull_s":"Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle. Romization: Early Deployment and Customization of Java Systems for Restrained Devices. <i>In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05)</i>, 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":"<i>Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005)</i>, 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. <i>Second International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005)</i>, 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":"<i>2nd International Conference on Embedded Software and System (ICESS 2005)</i>, 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. <i>2nd International Conference on Embedded Software and System (ICESS 2005)</i>, 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":"<i>Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems</i>, 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. <i>Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems</i>, 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":"<i>4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference</i>, 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. <i>4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference</i>, 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":"<i>ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference</i>, Jun 2004, Oslo, Norway",
"citationFull_s":"Damien Deville, Christophe Rippert, Gilles Grimaud. Flexible Bindings for Type-Safe Embedded Operating Systems.. <i>ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference</i>, 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":"<i>3rd ACM International Conference on the Principles and Practice of Programming in Java</i>, 2004, Las Vegas, USA",
"citationFull_s":"Christophe Rippert, Alexandre Courbot, Gilles Grimaud. A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines. <i>3rd ACM International Conference on the Principles and Practice of Programming in Java</i>, 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":"[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":"<i>6th IFIP Smart Card Research and Advanced Application Conference</i>, 2004, Toulouse, France. pp.Cardis04",
"citationFull_s":"Christophe Rippert, Damien Deville, Gilles Grimaud. On-The-Fly Metadata Stripping For Embedded Java Operating Systems. <i>6th IFIP Smart Card Research and Advanced Application Conference</i>, 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-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":"<i>3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3)</i>, 2003, La Colle sur Loup, France",
"citationFull_s":"Damien Deville, Alexandre Courbot, Gilles Grimaud. Extensions Temps-Réel pour Exo-Noyau Embarqué. <i>3ème Conférence Française sur les Systèmes d'Exploitation (CFSE'3)</i>, 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
}]
}
}