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
Building Your Own Trusted Execution Environments Using FPGA
Md Armanuzzaman, Ahmad-Reza Sadeghi, Ziming Zhao
In recent years, we have witnessed unprecedented growth in using hardware-assisted Trusted Execution Environments (TEE) or enclaves to protect sensitive code and data on commodity…