‹Programming› 2026
Mon 16 - Fri 20 March 2026 Munich, Germany
Tue 17 Mar 2026 11:30 - 12:00 at Seminar Room 123 - Session 2

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 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00
10:30
30m
Talk
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
30m
Talk
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
30m
Talk
Towards Least-Privilege WebAssembly Applications: Transparent Interposition for WebAssembly Components
MoreVMs
Olav Blaak DistriNet, KU Leuven, Tom Van Cutsem DistriNet, KU Leuven
DOI