Search - Archive ouverte HAL Access content directly

Filter your results

73 Results
Image document

A Low-Footprint Class Loading Mechanism for Embedded Java Virtual Machines

Christophe Rippert , Alexandre Courbot , Gilles Grimaud
3rd ACM International Conference on the Principles and Practice of Programming in Java, 2004, Las Vegas, USA
Conference papers inria-00113684v1
Image document

The Web of Things: interconnecting devices with high usability and performance

Simon Duquennoy , Gilles Grimaud , Jean-Jacques Vandewalle
ICESS 2009, May 2009, HangZhou, Chile
Conference papers inria-00390615v1
Image document

A Formal Correctness Proof for an EDF Scheduler Implementation

Florian Vanhems , Vlad Rusu , David Nowak , Gilles Grimaud
RTAS 2022: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, May 2022, Milan, Italy. ⟨10.1109/RTAS54340.2022.00030⟩
Conference papers hal-03671598v2

An Open-Source Tool to Benchmark Java Card Platforms

Samia Bouzefrane , Julien Cordry , Gilles Grimaud , Pierre Paradinas
e-Smart Conf., Sophia Antipolis, Jan 2008, X, France
Conference papers hal-01125551v1
Image document

One Year of DDoS Attacks Against a Cloud Provider: an Overview

Clément Boin , Xavier Guillaume , Gilles Grimaud , Tristan Groléat , Michaël Hauspie
4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. ⟨10.1109/CTISC54888.2022.9849755⟩
Conference papers hal-03655003v2
Image document

Large-scale coordinated attacks : Impact on the cloud security

Damien Riquet , Gilles Grimaud , Michaël Hauspie
The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558
Conference papers hal-00723739v1

Genetic Algorithm for DWCET Evaluation on Complex Platform

Julien Iguchi-Cartigny , Pierrick Buret , Gilles Grimaud
9th IEEE International Symposium on Industrial Embedded Systems, Jun 2014, Pisa, Italy
Conference papers hal-01131239v1
Image document

Formal proof of dynamic memory isolation based on MMU

Narjes Jomaa , David Nowak , Gilles Grimaud , Samuel Hym
Science of Computer Programming, 2018, 162, pp.76-92. ⟨10.1016/j.scico.2017.06.012⟩
Journal articles hal-01712347v1
Image document

Evaluation d'une solution d'isolation pour objets contraints

Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2022), Jul 2022, Amiens, France
Conference papers hal-03710419v1
Image document

ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems

Olivier Lourme , Gilles Grimaud , Michaël Hauspie
19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023), Jun 2023, Montréal, Canada. pp.84-91, ⟨10.1109/WiMob58348.2023.10187745⟩
Conference papers hal-04173958v1
Image document

Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices

Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
International Journal of Embedded Systems and Applications, 2023, 13 (02), pp.1-21. ⟨10.5121/ijesa.2023.13201⟩
Journal articles hal-04185923v1
Image document

Proving Partial-Correctness and Invariance Properties of Transition-System Models

Vlad Rusu , Gilles Grimaud , Michaël Hauspie
Science of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩
Journal articles hal-01962912v2

Contexte d’exécution dans la recherche de pire temps d’exécution d’un système complexe

Pierrick Buret , Julien Iguchi-Cartigny , Gilles Grimaud
Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS'15), Jun 2015, Villeneuve d'Ascq, France
Conference papers hal-01232261v1

Les systèmes d'exploitation de la carte à microprocesseur

Michaël Hauspie , Gilles Grimaud
Samia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135
Book sections hal-00870778v1

Secure extensible type system for efficient embedded operating system by using metatypes

Gilles Grimaud , Yann Hodique , Isabelle Simplot-Ryl
Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. pp.83--87
Conference papers inria-00546601v1

Contracts as a support to static analysis of open systems

Nadia Bel Hadj Aissa , Dorina Ghindici , Gilles Grimaud , Isabelle Simplot-Ryl
Proc. The First Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2007, Oslo, Norway
Conference papers inria-00546657v1

IoT Forensic: identification and classification of evidence in criminal investigations

François Bouchaud , Gilles Grimaud , Thomas Vantroys
The 13th International Conference on Availability, Reliability and Security (ARES 2018), Aug 2018, Hamburg, Germany
Conference papers hal-01820498v1
Image document

Ahead of time deployment in ROM of a Java-OS

Kévin Marquet , Alexandre Courbot , Gilles Grimaud , David Simplot-Ryl
2nd International Conference on Embedded Software and System (ICESS 2005), 2005, Xi'an, China
Conference papers inria-00113693v1
Image document

Romization: Early Deployment and Customization of Java Systems for Restrained Devices

Alexandre Courbot , Gilles Grimaud , Jean-Jacques Vandewalle
In International workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS05), Dec 2005, Nice, France
Conference papers inria-00113752v1
Image document

Perspectives on security kernels for IoT

Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), Dec 2020, Online, France
Conference papers hal-03102252v1

On the Use of metatypes for safe embedded operating system extension

Gilles Grimaud , Yann Hodique , Isabelle Simplot-Ryl
International Journal of Parallel, Emergent and Distributed Systems, 2007, 22 (1), pp.1--13. ⟨10.1080/17445760600761437⟩
Journal articles inria-00542544v1
Image document

Flexible Bindings for Type-Safe Embedded Operating Systems.

Damien Deville , Christophe Rippert , Gilles Grimaud
ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference, Jun 2004, Oslo, Norway
Conference papers hal-00309687v1

A verifiable lightweight escape analysis supporting creational design patterns for small embedded systems

Gilles Grimaud , Yann Hodique , Isabelle Simplot-Ryl
Proc. of the 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07), 2007, Niagara Falls, Canada. pp.440--447
Conference papers inria-00546597v1

Can small and open embedded systems benefit from escape analysis?

Gilles Grimaud , Yann Hodique , Isabelle Simplot-Ryl
Proc. of ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006), 2006, Nantes, France
Conference papers inria-00546662v1
Image document

Survey on adaptation techniques of energy consumption within a smartphone

Khalil Ibrahim Hamzaoui , Gilles Grimaud , Mohammed Berrajaa , Mostafa Azizi , Abdelkader Betari
Science and Information Conference (SAI), 2014, Aug 2014, Londres, United Kingdom. ⟨10.1109/SAI.2014.6918197⟩
Conference papers hal-01117977v1

Porting the Pip proto-kernel's model to multi-core environments

Quentin Bergougnoux , Gilles Grimaud , Julien Iguchi-Cartigny
16th IEEE Intl Conf on Dependable, Autonomic and Secure Computing (IEEE-DASC'2018)., Aug 2018, Athens, Greece
Conference papers hal-01819676v1

Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances

Christophe Bacara , Michaël Hauspie , Damien Deville , Gilles Grimaud
Workshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. ⟨10.1145/3195258.3195262⟩
Conference papers hal-01801080v1
Image document

Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux

Damien Riquet , Gilles Grimaud , Michaël Hauspie
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), Oct 2012, Villeneuve d'Ascq, France. 8 p
Conference papers hal-00746991v1

Virtual Keyboard Logging Counter-measures using Common Fate's Law

Nicolas Echallier , Gilles Grimaud , Julien Iguchi-Cartigny , Jean-Marie Place , Jean-Philippe Wary
SAM'17 - International Conference on Security and Management, Jul 2017, Las Vegas, United States
Conference papers hal-01820025v1

Evidence Gathering in IoT Criminal Investigation

François Bouchaud , Thomas Vantroys , Gilles Grimaud
EAI International Conference on Digital Forensics & Cyber Crime, Oct 2020, Boston, United States. pp.44-61, ⟨10.1007/978-3-030-68734-2_3⟩
Conference papers hal-03385405v1