Gilles Grimaud

61 papers A 1B 5C 6Misc 5Journal 11Unranked 32

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