Nicolas Dejon

According to our database, Nicolas Dejon authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Code to Qed, the Project Manager's Guide to Proof Engineering.

Nicolas Dejon, Chrystel Gaber, Gilles Grimaud, Narjes Jomaa

ACM Trans. Softw. Eng. Methodol., September, 2024

2023

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

Nicolas Dejon, Chrystel Gaber, Gilles Grimaud

CoRR, 2023

2022

Design of a secure kernel for constrained devices. (Conception d'un noyau sécurisé pour objets contraints).

Nicolas Dejon

PhD thesis, 2022

2021

Nested compartmentalisation for constrained devices.

Nicolas Dejon, Chrystel Gaber, Gilles Grimaud

Proceedings of the 8th International Conference on Future Internet of Things and Cloud, 2021

2019

Automated Security Analysis of IoT Software Updates.

Nicolas Dejon, Davide Caputo, Luca Verderame, Alessandro Armando, Alessio Merlo

Proceedings of the Information Security Theory and Practice, 2019