Embedded-Cybersecurity

Publication of a new technical analysis on microarchitectural attacks, their impact on embedded systems, and the limits of available countermeasures.

H2Lab releases pyGdbToolkit, a set of GDB commands for inspecting and auditing Arm Cortex-M targets.

H2Lab releases pySvdGenerator, a tool that generates CMSIS-SVD files by combining a Linux device tree with a SoC reference manual.

H2Lab releases FramaCovr, a tool that converts Frama-C metrics coverage reports into the gcovr format.

Publication of a new STIG guide providing a complete methodology for selecting, integrating, and auditing hardware security building blocks in embedded products.

Publication of a new STIG guide on secure bare-metal firmware development in C for constrained embedded microcontrollers.