Automated Security Analysis of IoT Software Updates. - Nicolas Dejon; Davide Caputo; Luca Verderame; Alessandro Armando; Alessio Merlo (WISTP, 2019)

Nested compartmentalisation for constrained devices. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud (FiCloud, 2021)

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

From MMU to MPU: adaptation of the Pip kernel to constrained devices. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud (CoRR, 2023)

Code to Qed, the Project Manager's Guide to Proof Engineering. - Nicolas Dejon; Chrystel Gaber; Gilles Grimaud; Narjes Jomaa (ACM Trans. Softw. Eng. Methodol., 2024)

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; et al. (ARES (Workshops 1), 2025)