Static stack-preserving intra-procedural slicing of webassembly binaries
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 …
enabling the cross-platform distribution of programs written in a variety of languages. We …
Security risks of porting c programs to WebAssembly
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 …
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 …
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 …
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
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 …
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 …
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 …
languages. To facilitate in-depth studies about this technology, we have deployed …
Issues and Their Causes in WebAssembly Applications: An Empirical Study
WebAssembly (Wasm) is a binary instruction format designed for secure and efficient
execution within sandboxed environments-predominantly web apps and browsers-to …
execution within sandboxed environments-predominantly web apps and browsers-to …
[PDF][PDF] Modular Abstract Definitional Interpreters for WebAssembly
Even though static analyses can improve performance and secure programs against
vulnerabilities, no static whole-program analyses exist for WebAssembly (Wasm) to date …
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
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 …
devido a seu bom desempenho, representação compacta, e portabilidade. Ele é mais …