Recoverable Persistent Memory for SmartCard. - Didier Donsez; Gilles Grimaud; Sylvain Lecomte (CARDIS, 1998)

FACADE: A Typed Intermediate Language Dedicated to Smart Cards. - Gilles Grimaud; Jean-Louis Lanet; Jean-Jacques Vandewalle (ESEC / SIGSOFT FSE, 1999)

Application of the B formal method to the proof of a type verification algorithm. - Antoine Requet; Ludovic Casset; Gilles Grimaud (HASE, 2000)

Building an "Impossible" Verifier on a Java Card. - Damien Deville; Gilles Grimaud (WIESS, 2002)

Code mobile et carte à puce. - Gilles Grimaud; Sébastien Jean (Tech. Sci. Informatiques, 2002)

A low-footprint class loading mechanism for embedded Java virtual machines. - Christophe Rippert; Alexandre Courbot; Gilles Grimaud (PPPJ, 2004)

Romization: Early Deployment and Customization of Java Systems for Constrained Devices. - Alexandre Courbot; Gilles Grimaud; Jean-Jacques Vandewalle (CASSIS, 2005)

Application-Driven Customization of an Embedded Java Virtual Machine. - Alexandre Courbot; Gilles Grimaud; Jean-Jacques Vandewalle; David Simplot-Ryl (EUC Workshops, 2005)

Ahead of Time Deployment in ROM of a Java-OS. - Kevin Marquet; Alexandre Courbot; Gilles Grimaud (ICESS, 2005)

Secure extensible type system for efficient embedded operating system by using metatypes. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (ICPADS (2), 2005)

Efficient Packet Scheduler For Wireless Ad Hoc Networks With Switched Beam Antennas. - Gilles Grimaud; Antoine Honore; Hervé Meunier; David Simplot-Ryl (AINA (1), 2006)

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. - Alexandre Courbot; Mariela Pavlova; Gilles Grimaud; Jean-Jacques Vandewalle (CARDIS, 2006)

Integrated Security Verification and Validation: Case Study. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl; Yanguo Liu; Issa Traoré (LCN, 2006)

Embedding verifiable information flow analysis. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (PST, 2006)

A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (AINA Workshops (2), 2007)

A DSL approach for object memory management of small devices. - Kevin Marquet; Gilles Grimaud (PPPJ, 2007)

Bringing Worst Case Execution Time Awareness to an Open Smart Card OS. - Nadia Bel Hadj Aissa; Gilles Grimaud; Vincent Bénony (RTCSA, 2007)

An object memory management solution for small devices with heterogeneous memories. - Kevin Marquet; Gilles Grimaud (WISES, 2007)

An Information Flow Verifier for Small Embedded Systems. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (WISTP, 2007)

On the use of metatypes for safe embedded operating system extension. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (Int. J. Parallel Emergent Distributed Syst., 2007)

Object Memory Management for Constrained Devices with Heterogeneous Memories. - Kevin Marquet; Gilles Grimaud (Intelligent Technical Systems, 2009)

Smews: Smart and Mobile Embedded Web Server. - Simon Duquennoy; Gilles Grimaud; Jean-Jacques Vandewalle (CISIS, 2009)

Serving embedded content via web applications: model, design and experimentation. - Simon Duquennoy; Gilles Grimaud; Jean-Jacques Vandewalle (EMSOFT, 2009)

The Web of Things: Interconnecting Devices with High Usability and Performance. - Simon Duquennoy; Gilles Grimaud; Jean-Jacques Vandewalle (ICESS, 2009)

Consistency and scalability in event notification for embedded Web applications. - Simon Duquennoy; Gilles Grimaud; Jean-Jacques Vandewalle (WSE, 2009)

Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. - Geoffroy Cogniaux; Gilles Grimaud (CARDIS, 2010)

Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. - Geoffroy Cogniaux; Gilles Grimaud (CISIS, 2010)

Efficient Web Requests Scheduling Considering Resources Sharing. - Simon Duquennoy; Gilles Grimaud (MASCOTS, 2010)

Efficient off-board deployment and customization of virtual machine-based embedded systems. - Alexandre Courbot; Gilles Grimaud; Jean-Jacques Vandewalle (ACM Trans. Embed. Comput. Syst., 2010)

Large-Scale Coordinated attacks: Impact on the Cloud Security. - Damien Riquet; Gilles Grimaud; Michaël Hauspie (IMIS, 2012)

Energy Consumption of Networked Embedded Systems. - Nadir Cherifi; Gilles Grimaud; Thomas Vantroys; Alexandre Boe (FiCloud, 2015)

Virtual Keyboard Logging Counter-Measures Using Human Vision Properties. - Christophe Bacara; Valentin Lefils; Julien Iguchi-Cartigny; Gilles Grimaud; Jean-Philippe Wary (HPCC/CSS/ICESS, 2015)

Toward Energy Profiling of Connected Embedded Systems. - Nadir Cherifi; Gilles Grimaud; Alexandre Boe; Thomas Vantroys (NTMS, 2016)

Automatic Inference of Energy Models for Peripheral Components in Embedded Systems. - Nadir Cherifi; Thomas Vantroys; Alexandre Boe; Colombe Herault; Gilles Grimaud (FiCloud, 2017)

EE-CFI: Externalized Control Flow Integrity for Embedded Devices. - Valentin Lefils; Gilles Grimaud; Julien Iguchi-Cartigny (IMIS, 2017)

IoT Forensic: identification and classification of evidence in criminal investigations. - François Bouchaud; Gilles Grimaud; Thomas Vantroys (ARES, 2018)

Porting the Pip Proto-Kernel's Model to Multi-core Environments. - Quentin Bergougnoux; Julien Cartigny; Gilles Grimaud (DASC/PiCom/DataCom/CyberSciTech, 2018)

A low-cost energy consumption measurement platform. - Nadir Cherifi; Alexandre Boe; Thomas Vantroys; Colombe Herault; Gilles Grimaud (INTESA@ESWEEK, 2018)

Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances. - Christophe Bacara; Damien Deville; Michaël Hauspie; Gilles Grimaud (P2DS@EuroSys, 2018)

Ensuring IoT Security with an Architecture Based on a Separation Kernel. - Mahieddine Yaker; Chrystel Gaber; Gilles Grimaud; Jean-Philippe Wary; Julien Cartigny; Xiao Han; Vicente Sanchez-Leighton (FiCloud, 2018)

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base. - Narjes Jomaa; Paolo Torrini; David Nowak; Gilles Grimaud; Samuel Hym (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

Formal proof of dynamic memory isolation based on MMU. - Narjes Jomaa; David Nowak; Gilles Grimaud; Samuel Hym (Sci. Comput. Program., 2018)

Digital Investigation of IoT Devices in the Criminal Scene. - François Bouchaud; Gilles Grimaud; Thomas Vantroys; Pierrick Buret (J. Univers. Comput. Sci., 2019)

Discovering Connected Objects in the Criminal Investigations. - François Bouchaud; Thomas Vantroys; Gilles Grimaud; Pierrick Buret (COINS, 2020)

Bluetooth devices fingerprinting using low cost SDR. - Étienne Helluy-Lafont; Alexandre Boé; Gilles Grimaud; Michaël Hauspie (FMEC, 2020)

Evidence Gathering in IoT Criminal Investigation. - François Bouchaud; Thomas Vantroys; Gilles Grimaud (ICDF2C, 2020)

Proving partial-correctness and invariance properties of transition-system models. - Vlad Rusu; Gilles Grimaud; Michaël Hauspie (Sci. Comput. Program., 2020)

Forensic analysis of IoT ecosystem. - François Bouchaud; Thomas Vantroys; Gilles Grimaud (FiCloud, 2021)

Nested compartmentalisation for constrained devices. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud (FiCloud, 2021)

A Formal Correctness Proof for an EDF Scheduler Implementation. - Florian Vanhems; Vlad Rusu; David Nowak; Gilles Grimaud (RTAS, 2022)

One Year of DDoS Attacks Against a Cloud Provider: an Overview. - Clément Boin 001; Xavier Guillaume; Gilles Grimaud; Tristan Groléat; Michaël Hauspie (CoRR, 2022)

Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure. - Clément Boin 001; Tristan Groléat; Xavier Guillaume; Gilles Grimaud; Michaël Hauspie (CloudNet, 2023)

ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems. - Olivier Lourme; Gilles Grimaud; Michaël Hauspie (WiMob, 2023)

From MMU to MPU: adaptation of the Pip kernel to constrained devices. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud (CoRR, 2023)

Code to Qed, the Project Manager's Guide to Proof Engineering. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud; Narjes Jomaa (ACM Trans. Softw. Eng. Methodol., 2024)