Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
Michiel Van Kenhove, Maximilian Seidler, Friedrich Vandenberghe, Warre Dujardin, Wouter Hennen, Arne Vogel, Merlijn Sebrechts, Tom Goethals, Filip De Turck, Bruno Volckaert

TL;DR
This paper introduces WebAssembly-based hardware interface support for IoT devices, enabling secure, pluggable drivers for I2C and USB protocols with minimal overhead, facilitating secure and flexible device management.
Contribution
It proposes and demonstrates WebAssembly System Interface (WASI) extensions for hardware interaction, including device drivers within WebAssembly for IoT and embedded systems.
Findings
WASI-USB adds up to 8% overhead compared to native APIs
Runtime initialization overhead can impact low-latency applications
Proof-of-concept implementations validate feasibility and performance
Abstract
The rapid expansion of Internet of Things (IoT), edge, and embedded devices in the past decade has introduced numerous challenges in terms of security and configuration management. Simultaneously, advances in cloud-native development practices have greatly enhanced the development experience and facilitated quicker updates, thereby enhancing application security. However, applying these advances to IoT, edge, and embedded devices remains a complex task, primarily due to the heterogeneous environments and the need to support devices with extended lifespans. WebAssembly and the WebAssembly System Interface (WASI) has emerged as a promising technology to bridge this gap. As WebAssembly becomes more popular on IoT, edge, and embedded devices, there is a growing demand for hardware interface support in WebAssembly programs. This work presents WASI proposals and proof-of-concept…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSecurity and Verification in Computing
