Buchumschlag

Wanilla: Sound Noninterference Analysis for WebAssembly

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Scherer, Markus, Blaabjerg, Jeppe Fredsgaard, Sjösten, Alexander, Maffei, Matteo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
von: Blaabjerg, Jeppe Fredsgaard, et al.
Veröffentlicht: (2023)

SoK: Analysis techniques for WebAssembly
von: Harnes, Håkon, et al.
Veröffentlicht: (2024)

Browser Fingerprinting Using WebAssembly
von: Guri, Mordechai, et al.
Veröffentlicht: (2025)

WebAssembly and Security: a review
von: Perrone, Gaetano, et al.
Veröffentlicht: (2024)

An Analysis of Modern Web Security Vulnerabilities Inside WebAssembly Applications
von: Corrias, Lorenzo, et al.
Veröffentlicht: (2026)

Lost in the Pages: WebAssembly Code Recovery through SEV-SNP's Exposed Address Space
von: Berthilsson, Markus, et al.
Veröffentlicht: (2025)

Securing Stack Smashing Protection in WebAssembly Applications
von: Michaud, Quentin, et al.
Veröffentlicht: (2024)

Defending Buffer Overflows in WebAssembly: A Transpiler Approach
von: Feng, Weiqi
Veröffentlicht: (2026)

Cryptic Bytes: WebAssembly Obfuscation for Evading Cryptojacking Detection
von: Harnes, Håkon, et al.
Veröffentlicht: (2024)

Exploring and Exploiting the Resource Isolation Attack Surface of WebAssembly Containers
von: Yu, Zhaofeng, et al.
Veröffentlicht: (2025)

Weaver: Fuzzing JavaScript Engines at the JavaScript-WebAssembly Boundary
von: Zhang, Lingming, et al.
Veröffentlicht: (2026)

AndroWasm: an Empirical Study on Android Malware Obfuscation through WebAssembly
von: Soi, Diego, et al.
Veröffentlicht: (2026)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
von: Esposito, Andrea, et al.
Veröffentlicht: (2023)

Comparing Security and Efficiency of WebAssembly and Linux Containers in Kubernetes Cloud Computing
von: Wiegratz, Jasper Alexander
Veröffentlicht: (2024)

WebAssembly Based Portable and Secure Sensor Interface for Internet of Things
von: Ou, Botong, et al.
Veröffentlicht: (2026)

Building Call Graph of WebAssembly Programs via Abstract Semantics
von: Paccamiccio, Mattia, et al.
Veröffentlicht: (2024)

Just add WATER: WebAssembly-based Circumvention Transports
von: Chi, Erik, et al.
Veröffentlicht: (2023)

Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
von: Esposito, Andrea, et al.
Veröffentlicht: (2025)

Walma: Learning to See Memory Corruption in WebAssembly
von: Draissi, Oussama, et al.
Veröffentlicht: (2026)

Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
von: Xia, Yifan, et al.
Veröffentlicht: (2023)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
von: He, Ningyu, et al.
Veröffentlicht: (2024)

The WASM Cloak: Evaluating Browser Fingerprinting Defenses Under WebAssembly based Obfuscation
von: Sakib, A H M Nazmus, et al.
Veröffentlicht: (2025)

A Security Framework for General Blockchain Layer 2 Protocols
von: Avarikioti, Zeta, et al.
Veröffentlicht: (2025)

Calyx: Privacy-Preserving Multi-Token Optimistic-Rollup Protocol
von: Apel, Dominik, et al.
Veröffentlicht: (2025)

Hidden Web Caches Discovery
von: Golinelli, Matteo, et al.
Veröffentlicht: (2024)

Simple client-side encryption of personal information with Web Assembly
von: Falda, Marco, et al.
Veröffentlicht: (2023)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
von: Jeanteur, Simon, et al.
Veröffentlicht: (2023)

Optimizing Virtual Payment Channel Establishment in the Face of On-Path Adversaries
von: Aumayr, Lukas, et al.
Veröffentlicht: (2020)

Security Analysis of Web Applications Based on Gruyere
von: Ni, Yonghao, et al.
Veröffentlicht: (2025)

CyberSleuth: Autonomous Blue-Team LLM Agent for Web Attack Forensics
von: Fumero, Stefano, et al.
Veröffentlicht: (2025)

Ark: Offchain Transaction Batching in Bitcoin
von: Keer, Pim, et al.
Veröffentlicht: (2026)

Bridging the Cybersecurity Gap Between Web2 and Web3 -- An Incident-Based Analysis of Organizational and Application-Level Security Failures
von: Yavas, Tarkan, et al.
Veröffentlicht: (2026)

Bridging the Gap: Automated Analysis of Sancus
von: Busi, Matteo, et al.
Veröffentlicht: (2024)

The Synchronic Web
von: Dinh, Thien-Nam, et al.
Veröffentlicht: (2023)

Web Execution Bundles: Reproducible, Accurate, and Archivable Web Measurements
von: Hantke, Florian, et al.
Veröffentlicht: (2025)

ScamSweeper: Detecting Illegal Accounts in Web3 Scams via Transactions Analysis
von: Li, Xiaoqi, et al.
Veröffentlicht: (2025)

A Large-Scale Analysis of Phishing Websites Hosted on Free Web Hosting Domains
von: Roy, Sayak Saha, et al.
Veröffentlicht: (2022)

Topical Shifts in the Dark Web: A Longitudinal Analysis of Content from the Cybercrime Ecosystem
von: Ricaldi, Roy, et al.
Veröffentlicht: (2026)

A Multi-Functional Web Tool for Comprehensive Threat Detection Through IP Address Analysis
von: Tanan, Cebajel, et al.
Veröffentlicht: (2024)

Introducing a New Alert Data Set for Multi-Step Attack Analysis
von: Landauer, Max, et al.
Veröffentlicht: (2023)