H2Lab Development Team

During the last months, a lot of work has been done in the Sentry kernel in order to validate the absence of run time error, including all undefined behaviors, but also usual RTEs such as invalid memory access, out-of-bounds and integer algorithmic errors not being…

A New Open-Source Operating System for Secure IoT The Internet of Things (IoT) continues to transform everyday life — from connected wearables to industrial controllers — but this rapid growth also brings new security challenges. Embedded devices often run lightweight operating systems that prioritize performance…