What is it about?

This research explores a novel method for ensuring memory safety in embedded systems with ARMv8-M architecture. By leveraging hardware features like the Test Target (TT) instruction and Memory Protection Unit (MPU), it provides per-object bounds checking.

Featured Image

Why is it important?

This work tackles the critical issue of memory safety in embedded systems, which are fundamental to IoT, healthcare, and industrial automation. Unlike conventional software-based methods that suffer from high performance costs, our approach uniquely utilizes ARMv8-M hardware features to enable efficient, per-object bounds checking. This innovation bridges the gap between robust memory safety and resource efficiency, addressing the specific constraints of embedded systems.

Perspectives

This research explores a novel approach by utilizing hardware-assisted techniques to achieve per-object bounds checking, a capability that has traditionally been challenging in embedded systems. Previously, most methods for ensuring spatial safety in embedded systems relied on compartmentalization, which, while effective, offered less fine-grained protection. Our work demonstrates that more precise security measures can be achieved, though it is undeniable that the approach still incurs notable performance overhead in resource-constrained environments. This underscores the importance of further research to address these limitations.

jeonghwan kang
Pusan National University

Read the Original

This page is a summary of: Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M, June 2024, ACM (Association for Computing Machinery),
DOI: 10.1145/3649329.3655949.
You can read the full text:

Read

Contributors

The following have contributed to this page