This paper explores the relationship between two emerging technologies, WebAssembly
(Wasm) and the Internet of Things (IoT). It examines the complementary roles of these …

WebAssembly is the newest web standard. It defines a compact bytecode format that allows
it to be loaded and executed fast. While WebAssembly is generally believed to be faster than …

WebAssembly is the newest language to arrive on the web. It features a compact binary
format, making it fast to be loaded and decoded. While WebAssembly is generally expected …

Spectre vulnerabilities violate our fundamental assumptions about architectural abstractions,
allowing attackers to steal sensitive data despite previously state-of-the-art …

As control flow hijacking attacks become more challenging due to the deployment of various
exploit mitigation technologies, the leakage of sensitive process data through the …

In this paper we revisit the Spectre v1 vulnerability and software-only countermeasures.
Specifically, we systematically investigate the performance penalty and security properties of …

The increasing popularity of WebAssembly creates a demand for understanding and reverse
engineering WebAssembly binaries. Recovering high-level function types is an important …

Practical information-flow programming languages commonly allow controlled leakage via a
declassify construct—programmers can use this construct to declare intentional leakage. For …

WebAssembly, abbreviated as Wasm, has emerged as a new paradigm in cloud-native
developments owing to its promising properties. Native execution speed and fast startup …

The worldwide Web has dramatically evolved in recent years. Web pages are dynamic,
expressed by programs written in common programming languages given rise to …