English
Related papers

Related papers: CT-Wasm: Type-Driven Secure Cryptography for the W…

200 papers

The security of modern JavaScript (JS) engines is critical since they provide the primary defense mechanism for executing untrusted code on the web. The recent integration of WebAssembly (Wasm) has transformed these engines into complex…

Cryptography and Security · Computer Science 2026-03-20 Lingming Zhang , Binbin Zhao , Puzhuo Liu , Qinge Xie , Peng Di , Jianhai Chen , Shouling Ji

WebAssembly (WASM) is an immensely versatile and increasingly popular compilation target. It executes applications written in several languages (e.g., C/C++) with near-native performance in various domains (e.g., mobile, edge, cloud).…

Programming Languages · Computer Science 2024-12-20 Martin Fink , Dimitrios Stavrakakis , Dennis Sprokholt , Soham Chakraborty , Jan-Erik Ekberg , Pramod Bhatotia

WebAssembly is revolutionizing the approach to developing modern applications. Although this technology was born to create portable and performant modules in web browsers, currently, its capabilities are extensively exploited in multiple…

Cryptography and Security · Computer Science 2025-02-11 Gaetano Perrone , Simon Pietro Romano

The growth in the adoption of the WebAssembly (WASM) standard has given rise to a rapidly increasing landscape of binary applications that are natively ported to the environment of websites. The flexibility of WASM has made it the preferred…

Cryptography and Security · Computer Science 2026-03-11 Lorenzo Corrias , Lorenzo Pisu , Davide Maiorca , Giorgio Giacinto

In recent years, stealthy Android malware has increasingly adopted sophisticated techniques to bypass automatic detection mechanisms and harden manual analysis. Adversaries typically rely on obfuscation, anti-repacking, steganography,…

Cryptography and Security · Computer Science 2026-02-23 Diego Soi , Silvia Lucia Sanna , Lorenzo Pisu , Leonardo Regano , Giorgio Giacinto

WebAssembly is a new binary instruction format that allows targeted compiled code written in high-level languages to be executed with near-native speed by the browser's JavaScript engine. However, given that WebAssembly binaries can be…

Cryptography and Security · Computer Science 2022-04-28 Tiago Brito , Pedro Lopes , Nuno Santos , José Fragoso Santos

WebAssembly (Wasm) has risen as a widely used technology to distribute computing workloads on different platforms. The platform independence offered through Wasm makes it an attractive solution for many different applications that can run…

Cryptography and Security · Computer Science 2025-12-17 Markus Berthilsson , Christian Gehrmann

As Internet censors rapidly evolve new blocking techniques, circumvention tools must also adapt and roll out new strategies to remain unblocked. But new strategies can be time consuming for circumventors to develop and deploy, and usually…

Cryptography and Security · Computer Science 2024-02-20 Erik Chi , Gaukas Wang , J. Alex Halderman , Eric Wustrow , Jack Wampler

WebAssembly (Wasm) is a low-level binary format for web applications, which has found widespread adoption due to its improved performance and compatibility with existing software. However, the popularity of Wasm has also led to its…

Cryptography and Security · Computer Science 2023-05-25 Nils Loose , Felix Mächtle , Claudius Pott , Volodymyr Bezsmertnyi , Thomas Eisenbarth

WebAssembly (Wasm for short) brings a new, powerful capability to the web as well as Edge, IoT, and embedded systems. Wasm is a portable, compact binary code format with high performance and robust sandboxing properties. As Wasm…

Programming Languages · Computer Science 2024-09-04 Doehyun Baek , Jakob Getz , Yusung Sim , Daniel Lehmann , Ben L. Titzer , Sukyoung Ryu , Michael Pradel

WebAssembly has gained significant traction as a high-performance, secure, and portable compilation target for the Web and beyond. However, its growing adoption has also introduced new security challenges. One such threat is cryptojacking,…

Cryptography and Security · Computer Science 2024-03-25 Håkon Harnes , Donn Morrison

Binary rewriting is a widely adopted technique in software analysis. WebAssembly (Wasm), as an emerging bytecode format, has attracted great attention from our community. Unfortunately, there is no general-purpose binary rewriting framework…

Software Engineering · Computer Science 2023-05-03 Shangtong Cao , Ningyu He , Yao Guo , Haoyu Wang

WebAssembly (Wasm) is a portable bytecode format that serves as a compilation target for high-level languages, enabling their secure and efficient execution across diverse platforms, including web browsers and embedded systems. To improve…

Programming Languages · Computer Science 2025-06-23 Byeongjee Kang , Harsh Desai , Limin Jia , Brandon Lucia

WebAssembly (abbreviated Wasm) has emerged as a cornerstone of web development, offering a compact binary format that allows high-performance applications to run at near-native speeds in web browsers. Despite its advantages, Wasm's binary…

Software Engineering · Computer Science 2024-09-12 Xinyu She , Yanjie Zhao , Haoyu Wang

WebAssembly is a low-level bytecode language designed for client-side execution in web browsers. The need for decompilation techniques that recover high-level source code from WASM binaries has grown as WASM continues to gain widespread…

Software Engineering · Computer Science 2024-11-05 Wei-Cheng Wu , Yutian Yan , Hallgrimur David Egilsson , David Park , Steven Chan , Christophe Hauser , Weihang Wang

Secret-dependent timing behavior in cryptographic implementations has resulted in exploitable vulnerabilities, undermining their security. Over the years, numerous tools to automatically detect timing leakage or even to prove their absence…

Cryptography and Security · Computer Science 2023-04-25 Jan Wichelmann , Florian Sieck , Anna Pätschke , Thomas Eisenbarth

All major web browsers now support WebAssembly, a low-level bytecode intended to serve as a compilation target for code written in languages like C and C++. A key goal of WebAssembly is performance parity with native code; previous work…

Programming Languages · Computer Science 2020-04-30 Abhinav Jangda , Bobby Powers , Emery Berger , Arjun Guha

WebAssembly (Wasm) is a bytecode format originally serving as a compilation target for Web applications. It has recently been used increasingly on the server side, e.g., providing a safer, faster, and more portable alternative to Linux…

Software Engineering · Computer Science 2023-09-22 Shuyao Jiang , Ruiying Zeng , Zihao Rao , Jiazhen Gu , Yangfan Zhou , Michael R. Lyu

WebAssembly (abbreviated WASM) has emerged as a promising language of the Web and also been used for a wide spectrum of software applications such as mobile applications and desktop applications. These applications, named as WASM…

Software Engineering · Computer Science 2023-01-31 Yixuan Zhang , Shangtong Cao , Haoyu Wang , Zhenpeng Chen , Xiapu Luo , Dongliang Mu , Yun Ma , Gang Huang , Xuanzhe Liu

WebAssembly (Wasm) is a binary instruction format that enables portable, sandboxed, and near-native execution across heterogeneous platforms, making it well-suited for serverless workflow execution on browsers, edge nodes, and cloud…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-05 Mario Colosi , Reza Farahani , Lauri Loven , Radu Prodan , Massimo Villari