Static stack-preserving intra-procedural slicing of webassembly binaries

Q Stiévenart, DW Binkley, C De Roover - Proceedings of the 44th …, 2022 - dl.acm.org
The recently introduced WebAssembly standard aims to be a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. We …

Security risks of porting c programs to WebAssembly

Q Stiévenart, C De Roover, M Ghafari - Proceedings of the 37th ACM …, 2022 - dl.acm.org
WebAssembly is a compilation target for cross-platform applications that is increasingly
being used. In this paper, we investigate whether one can transparently cross-compile C …

Developers struggle with authentication in blazor webassembly

PM André, Q Stiévenart… - 2022 IEEE International …, 2022 - ieeexplore.ieee.org
WebAssembly is a growing technology to build cross-platform applications. We aim to
understand the security issues that developers encounter when adopting WebAssembly. We …

Dynamic slicing of webassembly binaries

Q Stiévenart, D Binkley… - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
The recently introduced WebAssembly standard aims to form a portable compilation target,
enabling the cross-platform distribution of programs written in a variety of languages. In this …

metaSafer: A Technique to detect heap metadata corruption in WebAssembly

S Song, S Park, D Kwon - IEEE Access, 2023 - ieeexplore.ieee.org
WebAssembly (Wasm), a technology enabling efficient native code execution in web
browsers, has seen a significant rise in adoption as a popular compilation target. This has …

VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach

Z Zhang, W Zheng, B Hua, Q Fan… - 2023 IEEE 23rd …, 2023 - ieeexplore.ieee.org
WebAssembly is an emerging secure programming language and portable instruction set
architecture, and has been deployed in diverse security-critical scenarios due to its safety …

Wasmizer: Curating WebAssembly-driven Projects on GitHub

A Nicholson, Q Stiévenart, A Mazidi… - 2023 IEEE/ACM 20th …, 2023 - ieeexplore.ieee.org
WebAssembly has attracted great attention as a portable compilation target for programming
languages. To facilitate in-depth studies about this technology, we have deployed …

Issues and Their Causes in WebAssembly Applications: An Empirical Study

M Waseem, T Das, A Ahmad, P Liang… - Proceedings of the 28th …, 2024 - dl.acm.org
WebAssembly (Wasm) is a binary instruction format designed for secure and efficient
execution within sandboxed environments-predominantly web apps and browsers-to …

[PDF][PDF] Modular Abstract Definitional Interpreters for WebAssembly

K Brandl, S Erdweg, S Keidel… - … European Conference on …, 2023 - drops.dagstuhl.de
Even though static analyses can improve performance and secure programs against
vulnerabilities, no static whole-program analyses exist for WebAssembly (Wasm) to date …

Uso de chamadas WASI para a identificação de ameaças em aplicações webassembly

T Heinrich, NC Will, RR Obelheiro… - Anais do XXIII Simpósio …, 2023 - sol.sbc.org.br
WebAssembly (ou Wasm) é um formato de bytecode que vem ganhando rápida adoção
devido a seu bom desempenho, representação compacta, e portabilidade. Ele é mais …