Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par
Image document

From MMU to MPU: adaptation of the Pip kernel to constrained devices

 Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
3rd International Conference on Internet of Things & Embedded Systems (IoTE 2022), Dec 2022, Sydney, Australia
Communication dans un congrès hal-03705114v2
Image document

Nested compartmentalisation for constrained devices

 Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
2021 8th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2021, Rome, France. pp.334-341, ⟨10.1109/FiCloud49777.2021.00055⟩
Communication dans un congrès hal-03679889v1
Image document

Compartimentation dynamique imbriquée pour objets contraints

 Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2021), Jul 2021, Lyon (en virtuel), France
Communication dans un congrès hal-03318078v1
Image document

A path to scale up proven hardware-based security in constrained objects

 Nicolas Dejon , Chrystel Gaber , Gilles Grimaud
Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2020), Jun 2020, Lyon, France
Communication dans un congrès hal-03318088v1
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
Communication dans un congrès hal-03102252v1
Image document

Automated Security Analysis of IoT Software Updates

 Nicolas Dejon , Davide Caputo , Luca Verderame , Alessandro Armando , Alessio Merlo
13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.223-239, ⟨10.1007/978-3-030-41702-4_14⟩
Communication dans un congrès hal-03173903v1
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⟩
Article dans une revue hal-04185923v1
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
Communication dans un congrès hal-03710419v1
Page :