Nicolas Dejon

According to our database, Nicolas Dejon authored at least 6 papers between 2019 and 2025.

Collaborative distances:

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

2025

Safety and Cybersecurity Under Emerging EU Legislation for Industry: A Use-Case Driven Perspective.

Ndeye Gagnessiry Ndiaye, Karl Waedt, Nicolas Dejon, Chrystel Gaber, Achilleas Marinakis, Christos A. Gizelis, Gürkan Gür, Marc Rennhard, Oumayma Zeddini, Jean-Philippe Wary, Dominico Orlando, Claire Loiseaux, Vangelis Photiou, Nikolaos Koulierakis, Vasiliki Danilatou

Proceedings of the Availability, Reliability and Security, 2025

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