3 papers
cs.CR2025
"We just did not have that on the embedded system": Insights and Challenges for Securing Microcontroller Systems from the Embedded CTF Competitions
Zheyuan Ma, Gaoxiang Liu, Alex Eastman +6
Microcontroller systems are integral to our daily lives, powering mission-critical applications such as vehicles, medical devices, and industrial control systems. Therefore, it is…
cs.CR2025
ENOLA: Linear-Space and Low-Overhead Control-Flow Attestation for Microcontroller-based Systems
Md Armanuzzaman, Engin Kirda, Ziming Zhao
Control-Flow Attestation (CFA) aims to precisely verify execution paths to a remote verifier. However, existing solutions are fundamentally incompatible with resource-constrained,…
cs.CR2024
SoK: Where's the "up"?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems
Xi Tan, Zheyuan Ma, Sandro Pinto +6
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 little effort i…