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)