| 2023 | WiMob | ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems. | Olivier Lourme, Gilles Grimaud, Michal Hauspie |
| 2022 | RTAS | A Formal Correctness Proof for an EDF Scheduler Implementation. | Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud |
| 2018 | DASC | Porting the Pip Proto-Kernel's Model to Multi-core Environments. | Quentin Bergougnoux, Julien Cartigny, Gilles Grimaud |
| 2018 | EuroSys | Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances. | Christophe Bacara, Damien Deville, Michal Hauspie, Gilles Grimaud |
| 2018 | TASE | Proving Partial-Correctness and Invariance Properties of Transition-System Models. | Vlad Rusu, Gilles Grimaud, Michal Hauspie |
| 2016 | TASE | Formal Proof of Dynamic Memory Isolation Based on MMU. | Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym |
| 2015 | HPCC | Virtual Keyboard Logging Counter-Measures Using Human Vision Properties. | Christophe Bacara, Valentin Lefils, Julien Iguchi-Cartigny, Gilles Grimaud, Jean-Philippe Wary |
| 2010 | CARDIS | Key-Study to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. | Geoffroy Cogniaux, Gilles Grimaud |
| 2010 | CISIS | Impact of Pages Sizes to Execute Code Using Demand Paging and NAND Flash at Smart Card Scale. | Geoffroy Cogniaux, Gilles Grimaud |
| 2010 | MASCOTS | Efficient Web Requests Scheduling Considering Resources Sharing. | Simon Duquennoy, Gilles Grimaud |
| 2009 | CISIS | Smews: Smart and Mobile Embedded Web Server. | Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle |
| 2009 | EMSOFT | Serving embedded content via web applications: model, design and experimentation. | Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle |
| 2007 | AINA | A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. | Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl |
| 2007 | RTCSA | Bringing Worst Case Execution Time Awareness to an Open Smart Card OS. | Nadia Bel Hadj Aissa, Gilles Grimaud, Vincent Bnony |
| 2007 | SOSP | A DSL approach for object memory management of small devices. | Kevin Marquet, Gilles Grimaud |
| 2007 | WISTP | An Information Flow Verifier for Small Embedded Systems. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl |
| 2006 | AINA | Efficient Packet Scheduler For Wireless Ad Hoc Networks With Switched Beam Antennas. | Gilles Grimaud, Antoine Honore, Herv Meunier, David Simplot-Ryl |
| 2006 | CARDIS | A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods. | Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle |
| 2006 | LCN | Integrated Security Verification and Validation: Case Study. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traor |
| 2006 | PST | Embedding verifiable information flow analysis. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl |
| 2005 | EUC | Application-Driven Customization of an Embedded Java Virtual Machine. | Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle, David Simplot-Ryl |
| 2005 | ICPADS | Secure extensible type system for efficient embedded operating system by using metatypes. | Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl |
| 1998 | CARDIS | Recoverable Persistent Memory for SmartCard. | Didier Donsez, Gilles Grimaud, Sylvain Lecomte |