Gilles Grimaud

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 26

Top Topics

Embedded Systems

Intrusion Detection System

Top Venues

Sci. Comput. Program.

Publications

Olivier Lourme, Gilles Grimaud, Michaël Hauspie
ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems. WiMob (2023)
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. CloudNet (2023)
Nicolas Dejon, Chrystel Gaber, Gilles Grimaud
From MMU to MPU: adaptation of the Pip kernel to constrained devices. CoRR (2023)
Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud
A Formal Correctness Proof for an EDF Scheduler Implementation. RTAS (2022)
Clément Boin, Xavier Guillaume, Gilles Grimaud, Tristan Groléat, Michaël Hauspie
One Year of DDoS Attacks Against a Cloud Provider: an Overview. CoRR (2022)
Nicolas Dejon, Chrystel Gaber, Gilles Grimaud
Nested compartmentalisation for constrained devices. FiCloud (2021)
François Bouchaud, Thomas Vantroys, Gilles Grimaud
Forensic analysis of IoT ecosystem. FiCloud (2021)
François Bouchaud, Thomas Vantroys, Gilles Grimaud, Pierrick Buret
Discovering Connected Objects in the Criminal Investigations. COINS (2020)
François Bouchaud, Thomas Vantroys, Gilles Grimaud
Evidence Gathering in IoT Criminal Investigation. ICDF2C (2020)
Vlad Rusu, Gilles Grimaud, Michaël Hauspie
Proving partial-correctness and invariance properties of transition-system models. Sci. Comput. Program. 186 (2020)
Étienne Helluy-Lafont, Alexandre Boé, Gilles Grimaud, Michaël Hauspie
Bluetooth devices fingerprinting using low cost SDR. FMEC (2020)
François Bouchaud, Gilles Grimaud, Thomas Vantroys, Pierrick Buret
Digital Investigation of IoT Devices in the Criminal Scene. J. Univers. Comput. Sci. 25 (9) (2019)
Mahieddine Yaker, Chrystel Gaber, Gilles Grimaud, Jean-Philippe Wary, Julien Cartigny, Xiao Han, Vicente Sanchez-Leighton
Ensuring IoT Security with an Architecture Based on a Separation Kernel. FiCloud (2018)
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Quentin Bergougnoux, Julien Cartigny, Gilles Grimaud
Porting the Pip Proto-Kernel's Model to Multi-core Environments. DASC/PiCom/DataCom/CyberSciTech (2018)
Vlad Rusu, Gilles Grimaud, Michaël Hauspie
Proving Partial-Correctness and Invariance Properties of Transition-System Models. TASE (2018)
Nadir Cherifi, Alexandre Boe, Thomas Vantroys, Colombe Herault, Gilles Grimaud
A low-cost energy consumption measurement platform. INTESA@ESWEEK (2018)
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
Formal proof of dynamic memory isolation based on MMU. Sci. Comput. Program. 162 (2018)
Christophe Bacara, Damien Deville, Michaël Hauspie, Gilles Grimaud
Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances. P2DS@EuroSys (2018)
François Bouchaud, Gilles Grimaud, Thomas Vantroys
IoT Forensic: identification and classification of evidence in criminal investigations. ARES (2018)
Nadir Cherifi, Thomas Vantroys, Alexandre Boe, Colombe Herault, Gilles Grimaud
Automatic Inference of Energy Models for Peripheral Components in Embedded Systems. FiCloud (2017)
Valentin Lefils, Gilles Grimaud, Julien Iguchi-Cartigny
EE-CFI: Externalized Control Flow Integrity for Embedded Devices. IMIS (2017)
Nadir Cherifi, Gilles Grimaud, Alexandre Boe, Thomas Vantroys
Toward Energy Profiling of Connected Embedded Systems. NTMS (2016)
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
Formal Proof of Dynamic Memory Isolation Based on MMU. TASE (2016)
Christophe Bacara, Valentin Lefils, Julien Iguchi-Cartigny, Gilles Grimaud, Jean-Philippe Wary
Virtual Keyboard Logging Counter-Measures Using Human Vision Properties. HPCC/CSS/ICESS (2015)
Nadir Cherifi, Gilles Grimaud, Thomas Vantroys, Alexandre Boe
Energy Consumption of Networked Embedded Systems. FiCloud (2015)
Damien Riquet, Gilles Grimaud, Michaël Hauspie
Large-Scale Coordinated attacks: Impact on the Cloud Security. IMIS (2012)
Geoffroy Cogniaux, Gilles Grimaud
Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. CARDIS (2010)
Geoffroy Cogniaux, Gilles Grimaud
Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. CISIS (2010)
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
Efficient off-board deployment and customization of virtual machine-based embedded systems. ACM Trans. Embed. Comput. Syst. 9 (3) (2010)
Simon Duquennoy, Gilles Grimaud
Efficient Web Requests Scheduling Considering Resources Sharing. MASCOTS (2010)
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle
Serving embedded content via web applications: model, design and experimentation. EMSOFT (2009)
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle
Smews: Smart and Mobile Embedded Web Server. CISIS (2009)
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle
Consistency and scalability in event notification for embedded Web applications. WSE (2009)
Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle
The Web of Things: Interconnecting Devices with High Usability and Performance. ICESS (2009)
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
On the use of metatypes for safe embedded operating system extension. Int. J. Parallel Emergent Distributed Syst. 22 (1) (2007)
Nadia Bel Hadj Aissa, Gilles Grimaud, Vincent Bénony
Bringing Worst Case Execution Time Awareness to an Open Smart Card OS. RTCSA (2007)
Kevin Marquet, Gilles Grimaud
A DSL approach for object memory management of small devices. PLOS@SOSP (2007)
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
An Information Flow Verifier for Small Embedded Systems. WISTP (2007)
Kevin Marquet, Gilles Grimaud
A DSL approach for object memory management of small devices. PPPJ (2007)
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. AINA Workshops (2) (2007)
Kevin Marquet, Gilles Grimaud
An object memory management solution for small devices with heterogeneous memories. WISES (2007)
Christophe Rippert, Alexandre Courbot, Gilles Grimaud
A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines CoRR (2006)
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
Embedding verifiable information flow analysis. PST (2006)
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. CARDIS (2006)
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traoré
Integrated Security Verification and Validation: Case Study. LCN (2006)
Gilles Grimaud, Antoine Honore, Hervé Meunier, David Simplot-Ryl
Efficient Packet Scheduler For Wireless Ad Hoc Networks With Switched Beam Antennas. AINA (1) (2006)
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
Secure extensible type system for efficient embedded operating system by using metatypes. ICPADS (2) (2005)
Kevin Marquet, Alexandre Courbot, Gilles Grimaud
Ahead of Time Deployment in ROM of a Java-OS. ICESS (2005)
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
Romization: Early Deployment and Customization of Java Systems for Constrained Devices. CASSIS (2005)
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle, David Simplot-Ryl
Application-Driven Customization of an Embedded Java Virtual Machine. EUC Workshops (2005)
Christophe Rippert, Alexandre Courbot, Gilles Grimaud
A low-footprint class loading mechanism for embedded Java virtual machines. PPPJ (2004)
Gilles Grimaud, Sébastien Jean
Code mobile et carte à puce. Tech. Sci. Informatiques 21 (6) (2002)
Damien Deville, Gilles Grimaud
Building an "Impossible" Verifier on a Java Card. WIESS (2002)
Antoine Requet, Ludovic Casset, Gilles Grimaud
Application of the B formal method to the proof of a type verification algorithm. HASE (2000)
Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Vandewalle
FACADE: A Typed Intermediate Language Dedicated to Smart Cards. ESEC / SIGSOFT FSE (1999)
Didier Donsez, Gilles Grimaud, Sylvain Lecomte
Recoverable Persistent Memory for SmartCard. CARDIS (1998)