{ "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\">&#x27E8;10.1145/3664807&#x27E9;</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\">&#x27E8;10.1145/3664807&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04600011v1\">&#x27E8;hal-04600011&#x27E9;</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\">&#x27E8;hal-04262657&#x27E9;</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\">&#x27E8;10.1109/WiMob58348.2023.10187745&#x27E9;</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\">&#x27E8;10.1109/WiMob58348.2023.10187745&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04173958v1\">&#x27E8;hal-04173958&#x27E9;</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\">&#x27E8;10.5121/ijesa.2023.13201&#x27E9;</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\">&#x27E8;10.5121/ijesa.2023.13201&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04185923v1\">&#x27E8;hal-04185923&#x27E9;</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\">&#x27E8;hal-03705114v2&#x27E9;</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\">&#x27E8;hal-03710419&#x27E9;</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\">&#x27E8;10.1109/RTAS54340.2022.00030&#x27E9;</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\">&#x27E8;10.1109/RTAS54340.2022.00030&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03671598v2\">&#x27E8;hal-03671598v2&#x27E9;</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\">&#x27E8;10.1109/CTISC54888.2022.9849755&#x27E9;</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\">&#x27E8;10.1109/CTISC54888.2022.9849755&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03655003v2\">&#x27E8;hal-03655003v2&#x27E9;</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\">&#x27E8;hal-03814079&#x27E9;</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>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\">&#x27E8;hal-03369836&#x27E9;</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>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\">&#x27E8;10.1109/FiCloud49777.2021.00055&#x27E9;</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\">&#x27E8;10.1109/FiCloud49777.2021.00055&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03679889v1\">&#x27E8;hal-03679889&#x27E9;</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>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\">&#x27E8;hal-03102252&#x27E9;</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\">&#x27E8;10.1007/978-3-030-68734-2_3&#x27E9;</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\">&#x27E8;10.1007/978-3-030-68734-2_3&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03385405v1\">&#x27E8;hal-03385405&#x27E9;</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\">&#x27E8;hal-02934143&#x27E9;</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\">&#x27E8;hal-02498774&#x27E9;</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\">&#x27E8;10.1016/j.scico.2019.102342&#x27E9;</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\">&#x27E8;10.1016/j.scico.2019.102342&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01962912v2\">&#x27E8;hal-01962912v2&#x27E9;</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\">&#x27E8;hal-02432740&#x27E9;</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\">&#x27E8;10.1145/3285017.3285025&#x27E9;</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\">&#x27E8;10.1145/3285017.3285025&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03134049v1\">&#x27E8;hal-03134049&#x27E9;</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\">&#x27E8;10.1016/j.scico.2017.06.012&#x27E9;</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\">&#x27E8;10.1016/j.scico.2017.06.012&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01712347v1\">&#x27E8;hal-01712347&#x27E9;</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\">&#x27E8;10.1109/TASE.2018.00016&#x27E9;</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\">&#x27E8;10.1109/TASE.2018.00016&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01816798v1\">&#x27E8;hal-01816798&#x27E9;</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\">&#x27E8;hal-01820498&#x27E9;</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\">&#x27E8;hal-01819676&#x27E9;</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\">&#x27E8;hal-01819666&#x27E9;</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\">&#x27E8;10.14279/tuj.eceasst.76.1080&#x27E9;</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\">&#x27E8;10.14279/tuj.eceasst.76.1080&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01816830v2\">&#x27E8;hal-01816830v2&#x27E9;</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\">&#x27E8;hal-01820482&#x27E9;</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\">&#x27E8;hal-01823572&#x27E9;</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\">&#x27E8;10.1145/3195258.3195262&#x27E9;</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\">&#x27E8;10.1145/3195258.3195262&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01801080v1\">&#x27E8;hal-01801080&#x27E9;</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\">&#x27E8;hal-01614509v2&#x27E9;</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\">&#x27E8;hal-01599169&#x27E9;</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\">&#x27E8;hal-01820025&#x27E9;</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\">&#x27E8;hal-01820001&#x27E9;</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\">&#x27E8;hal-01556564&#x27E9;</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\">&#x27E8;10.1109/NTMS.2016.7792483&#x27E9;</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\">&#x27E8;10.1109/NTMS.2016.7792483&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01599164v1\">&#x27E8;hal-01599164&#x27E9;</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\">&#x27E8;10.1109/TASE.2016.28&#x27E9;</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\">&#x27E8;10.1109/TASE.2016.28&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01369769v1\">&#x27E8;hal-01369769&#x27E9;</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\">&#x27E8;hal-01379295&#x27E9;</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>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\">&#x27E8;10.1109/FiCloud.2015.90&#x27E9;</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\">&#x27E8;10.1109/FiCloud.2015.90&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01193142v1\">&#x27E8;hal-01193142&#x27E9;</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>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\">&#x27E8;10.1109/HPCC-CSS-ICESS.2015.269&#x27E9;</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\">&#x27E8;10.1109/HPCC-CSS-ICESS.2015.269&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01249877v1\">&#x27E8;hal-01249877&#x27E9;</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>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\">&#x27E8;hal-01232261&#x27E9;</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\">&#x27E8;hal-01122780&#x27E9;</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\">&#x27E8;10.1109/SAI.2014.6918197&#x27E9;</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\">&#x27E8;10.1109/SAI.2014.6918197&#x27E9;</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01117977v1\">&#x27E8;hal-01117977&#x27E9;</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\">&#x27E8;hal-01131239&#x27E9;</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\">&#x27E8;hal-00996876&#x27E9;</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\">&#x27E8;hal-00995674&#x27E9;</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\">&#x27E8;hal-00870778&#x27E9;</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\">&#x27E8;hal-00746991&#x27E9;</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\">&#x27E8;hal-00723739&#x27E9;</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\">&#x27E8;inria-00514501&#x27E9;</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\">&#x27E8;10.1007/978-3-642-12510-2_8&#x27E9;</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\">&#x27E8;10.1007/978-3-642-12510-2_8&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00529489v2\">&#x27E8;inria-00529489v2&#x27E9;</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\">&#x27E8;inria-00424372&#x27E9;</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\">&#x27E8;inria-00422386&#x27E9;</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\">&#x27E8;inria-00390615&#x27E9;</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\">&#x27E8;inria-00385140v2&#x27E9;</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\">&#x27E8;hal-01125551&#x27E9;</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\">&#x27E8;inria-00258785v2&#x27E9;</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. 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\">&#x27E8;inria-00546657&#x27E9;</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>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\">&#x27E8;inria-00546597&#x27E9;</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\">&#x27E8;10.1080/17445760600761437&#x27E9;</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\">&#x27E8;10.1080/17445760600761437&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00542544v1\">&#x27E8;inria-00542544&#x27E9;</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. 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\">&#x27E8;inria-00544955&#x27E9;</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>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\">&#x27E8;inria-00113758&#x27E9;</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\">&#x27E8;inria-00546662&#x27E9;</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\">&#x27E8;inria-00081200v2&#x27E9;</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\">&#x27E8;10.1109/LCN.2006.322215&#x27E9;</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\">&#x27E8;10.1109/LCN.2006.322215&#x27E9;</a>. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00546614v1\">&#x27E8;inria-00546614&#x27E9;</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\">&#x27E8;inria-00544957&#x27E9;</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\">&#x27E8;inria-00113752&#x27E9;</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\">&#x27E8;inria-00113691&#x27E9;</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>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\">&#x27E8;inria-00546601&#x27E9;</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":"<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\">&#x27E8;inria-00113693&#x27E9;</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":"[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\">&#x27E8;inria-00113772&#x27E9;</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\">&#x27E8;hal-00309686&#x27E9;</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\">&#x27E8;hal-00309687&#x27E9;</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\">&#x27E8;inria-00113684&#x27E9;</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\">&#x27E8;inria-00077048&#x27E9;</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\">&#x27E8;hal-00292259&#x27E9;</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\">&#x27E8;inria-00070774&#x27E9;</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\">&#x27E8;inria-00113776&#x27E9;</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 }] } }