Ensuring IoT Security with an Architecture Based on a Separation Kernel | IEEE Conference Publication | IEEE Xplore