Search - Archive ouverte HAL Access content directly

Filter your results

73 Results
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

Hypervision logicielle et défiance matérielle

François Serman , Michaël Hauspie , Gilles Grimaud
Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France
Conference papers hal-01379295v1
Image document

Energy Consumption of Networked Embedded Systems

Nadir Cherifi , Gilles Grimaud , Thomas Vantroys , Alexandre Boé
FiCloud - International Conference on Future Internet of Things and Cloud - 2015, Helen Karatza; Beniamino Di Martino, Aug 2015, Rome, Italy. ⟨10.1109/FiCloud.2015.90⟩
Conference papers hal-01193142v1
Image document

DISCUS: A massively distributed IDS architecture using a DSL-based configuration

Damien Riquet , Gilles Grimaud , Michaël Hauspie
International Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p
Conference papers hal-00996876v1
Image document

Pip, un proto-noyau fait pour renforcer la sécurité dans les objets connectés

Quentin Bergougnoux , Julien Iguchi-Cartigny , Gilles Grimaud
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Université Sophia Antipolis, Jun 2017, Sophia Antipolis, France
Conference papers hal-01556564v1
Image document

Forensic analysis of IoT ecosystem

François Bouchaud , Thomas Vantroys , Gilles Grimaud
FiCloud 2021 The 8th International Conference on Future Internet of Things and Cloud, Aug 2021, Roma, Italy
Conference papers hal-03369836v1
Image document

Serving Embedded Content via Web Applications: Model, Design and Experimentation

Simon Duquennoy , Gilles Grimaud , Jean-Jacques Vandewalle
Emsoft 2009, Oct 2009, Grenoble, France
Conference papers inria-00424372v1
Image document

Efficient Web Requests Scheduling Considering Resources Sharing

Simon Duquennoy , Gilles Grimaud
Mascots, Aug 2010, 18th Annual Meeting of the IEEE/ACM International Symposium on Modeling, Analysis and Simulation of, United States
Conference papers inria-00514501v1
Image document

Consistency and scalability in event notification for embedded Web applications

Simon Duquennoy , Gilles Grimaud , Jean-Jacques Vandewalle
WSE 2009, Sep 2009, Edmonton, Canada
Conference papers inria-00422386v1
Image document

Smews: Smart and Mobile Embedded Web Server

Simon Duquennoy , Gilles Grimaud , Jean-Jacques Vandewalle
IMIS 2009 - International Workshop on Innovative Mobile and Internet Services in Ubiquitous Computing, Mar 2009, Fukuoka, Japan
Conference papers inria-00385140v2
Image document

Preuve formelle d'isolation mémoire dynamique à base de MMU

Narjes Jomaa , David Nowak , Gilles Grimaud , Julien Iguchi-Cartigny
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France. pp.297-300
Conference papers hal-01122780v1
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

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