Ensuring IoT Security with an Architecture Based on a Separation Kernel. - Mahieddine Yaker; Chrystel Gaber; Gilles Grimaud; Jean-Philippe Wary; Julien Cartigny; Xiao Han; Vicente Sanchez-Leighton (FiCloud, 2018)

Conception et réalisation d'un écosystème basé sur des propriétés formelles d'isolation mémoire pour l'Internet des objets. (Design and Implementation of an Ecosystem Based on Formal Memory Isolation Properties for the Internet of Things). - Mahieddine Yaker (2019)