Arm Cortex-M processors are the most widely used 32-bit microcontrollers among
embedded and Internet-of-Things devices. Despite the widespread usage, there has been …

Despite growing efforts and encouraging successes in recent decades, fully formally verified
projects are still rare in the industrial landscape. The industry often lacks the tools and …

Pip-MPU is a minimalist separation kernel for constrained devices (scarce memory and
power resources). In this work, we demonstrate high-assurance of Pip-MPU's isolation …

This thesis invests the field of cybersecurity for small computer systems (embedded
systems/connected objects/low-end devices, of type microcontroller) and more precisely …

IoT market's growth surge encouraged developers to focus on fast delivery rather than
security resulting in several major attacks. Efforts to provide secure-by-design applications …