.png){kind=icon}
.png){kind=icon}
Return
WARD: Efficient Memory Protection for WebAssembly on Tiny Embedded Systems
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2025.3650447.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
WebAssembly (Wasm) has recently gained attention in embedded systems due to its lightweight runtime support and broad compatibility with various languages and platforms. However, Wasm’s linear memory model lacks internal protection mechanisms, making it vulnerable to a wide range of memory safety violations. To address this, prior work has proposed techniques for protecting memory within the linear memory space. While effective to some extent, these approaches either suffer from limited detection coverage or are unsuitable for resource-constrained embedded systems. In this paper, we present <monospace xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">WARD</monospace>, a redzone-based memory protection technique tailored for Wasm in tiny embedded systems. At its core, <monospace xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">WARD</monospace> employs a randomized linear-to-physical address translation mechanism, which enables effective detection of memory violations without requiring specific hardware extensions. Our evaluation shows that <monospace xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">WARD</monospace> provides improved memory detection coverage over prior techniques, with reasonable performance of 24.2% on benchmark and 13.03% on real-world applications, and memory overhead suitable for embedded systems.
Keywords:
Webassembly
spatial memory safety
redzone
linear memory
address translation
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.