Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components
When a WebAssembly component is compromised, current security models cannot always prevent it from abusing the full set of capabilities granted at initialization. With the component model encouraging reuse of third-party components distributed via OCI registries, this creates supply chain risks similar to those that have plagued NPM. Additionally, capabilities in the WebAssembly System Interface (WASI) are often coarse-grained and have no native support for restriction at runtime, violating the principle of least authority and exacerbating this risk. We present a transparent, language-agnostic, and runtime-agnostic framework for interposing arbitrary logic at WebAssembly component boundaries. Our approach automatically wraps components while preserving their interfaces, enabling arbitrary logic insertion without modifying guest components or runtimes. Using the framework, we draw inspiration from previous work on higher-order contracts and propose an embedded DSL for specifying arbitrary logic in which we define fine-grained security policies that dynamically restrict capabilities. Our approach enables compositional reasoning about security and allows better enforcement of the principle of least authority for component-based WebAssembly programs.
Tue 17 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 30mTalk | Code Layout Optimization Guided by Temporal Profiling Information MoreVMs Marko Spasic University of Belgrade and Oracle, Miloje Joksimović University of Belgrade and Oracle, Peter Hofer Oracle Labs, Milena Vujosevic Janicic University of Belgrade and Oracle DOI Media Attached | ||
11:00 30mTalk | The Promise of Static Profiling: Exploring the Limits MoreVMs Milan Cugurovic Oracle and University of Belgrade, Aleksandar Prokopec Oracle Labs, Boris Spasojevic Oracle Labs, Zurich, Switzerland, Vojin Jovanovic Oracle Labs, Milena Vujosevic Janicic University of Belgrade and Oracle DOI Media Attached | ||
11:30 30mTalk | Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components MoreVMs DOI | ||