Sentinel: Secure Mode Profiling and Enforcement for Embedded Systems

Sentinel hardware prototyping on embedded device test bench

Sentinel is a hardware-based security system designed to be soldered directly to the CPU of IoT-class embedded devices. It monitors control-flow transitions to build runtime profiles of normal device behavior and enforces those profiles to detect anomalous execution, providing control-flow integrity for resource-constrained embedded systems that cannot support software-based security solutions.

Published at ACM/IEEE IoTDI 2018.