Copertina

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	He, Ningyu, Zhao, Zhehao, Guan, Hanqin, Wang, Jikai, Peng, Shuo, Li, Ding, Wang, Haoyu, Chen, Xiangqun, Guo, Yao
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Promise and Pitfalls of WebAssembly: Perspectives from the Industry
di: He, Ningyu, et al.
Pubblicazione: (2025)

Static Semantics Reconstruction for Enhancing JavaScript-WebAssembly Multilingual Malware Detection
di: Xia, Yifan, et al.
Pubblicazione: (2023)

Building Call Graph of WebAssembly Programs via Abstract Semantics
di: Paccamiccio, Mattia, et al.
Pubblicazione: (2024)

AndroWasm: an Empirical Study on Android Malware Obfuscation through WebAssembly
di: Soi, Diego, et al.
Pubblicazione: (2026)

Research on WebAssembly Runtimes: A Survey
di: Zhang, Yixuan, et al.
Pubblicazione: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
di: Shirzad, Mohammad Robati, et al.
Pubblicazione: (2024)

WaDec: Decompiling WebAssembly Using Large Language Model
di: She, Xinyu, et al.
Pubblicazione: (2024)

WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly
di: Cabrera-Arteaga, Javier, et al.
Pubblicazione: (2023)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Is This the Same Code? A Comprehensive Study of Decompilation Techniques for WebAssembly Binaries
di: Wu, Wei-Cheng, et al.
Pubblicazione: (2024)

Walma: Learning to See Memory Corruption in WebAssembly
di: Draissi, Oussama, et al.
Pubblicazione: (2026)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
di: Sun, Tianle, et al.
Pubblicazione: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
di: Baek, Doehyun, et al.
Pubblicazione: (2025)

Weaver: Fuzzing JavaScript Engines at the JavaScript-WebAssembly Boundary
di: Zhang, Lingming, et al.
Pubblicazione: (2026)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
di: Li, Haoyu, et al.
Pubblicazione: (2026)

LLM Agents for Automated Web Vulnerability Reproduction: Are We There Yet?
di: Liu, Bin, et al.
Pubblicazione: (2025)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
di: Cloosters, Tobias, et al.
Pubblicazione: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
di: Shafiuzzaman, Md, et al.
Pubblicazione: (2026)

"Elementary, My Dear Watson." Detecting Malicious Skills via Neuro-Symbolic Reasoning across Heterogeneous Artifacts
di: Wang, Shenao, et al.
Pubblicazione: (2026)

OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum Virtual Machine
di: Ma, Jie, et al.
Pubblicazione: (2025)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
di: Ma, Chengyan, et al.
Pubblicazione: (2026)

Browser Fingerprinting Using WebAssembly
di: Guri, Mordechai, et al.
Pubblicazione: (2025)

WebAssembly and Security: a review
di: Perrone, Gaetano, et al.
Pubblicazione: (2024)

Debugging WebAssembly? Put some Whamm on it!
di: Gilbert, Elizabeth, et al.
Pubblicazione: (2025)

Cross-Inlining Binary Function Similarity Detection
di: Jia, Ang, et al.
Pubblicazione: (2024)

SoK: Analysis techniques for WebAssembly
di: Harnes, Håkon, et al.
Pubblicazione: (2024)

Wanilla: Sound Noninterference Analysis for WebAssembly
di: Scherer, Markus, et al.
Pubblicazione: (2025)

Issues and Their Causes in WebAssembly Applications: An Empirical Study
di: Waseem, Muhammad, et al.
Pubblicazione: (2023)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
di: Tu, Haoxin, et al.
Pubblicazione: (2024)

Empowering WebAssembly with Thin Kernel Interfaces
di: Ramesh, Arjun, et al.
Pubblicazione: (2023)

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
di: Mächtle, Felix, et al.
Pubblicazione: (2025)

Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers
di: Seidler, Maximilian, et al.
Pubblicazione: (2025)

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
di: Ma, Jie, et al.
Pubblicazione: (2026)

PatchFuzz: Patch Fuzzing for JavaScript Engines
di: Wang, Junjie, et al.
Pubblicazione: (2025)

Securing Stack Smashing Protection in WebAssembly Applications
di: Michaud, Quentin, et al.
Pubblicazione: (2024)

An Analysis of Modern Web Security Vulnerabilities Inside WebAssembly Applications
di: Corrias, Lorenzo, et al.
Pubblicazione: (2026)

TPSQLi: Test Prioritization for SQL Injection Vulnerability Detection in Web Applications
di: Yang, Guan-Yan, et al.
Pubblicazione: (2025)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
di: Dai, Han, et al.
Pubblicazione: (2026)

Just add WATER: WebAssembly-based Circumvention Transports
di: Chi, Erik, et al.
Pubblicazione: (2023)

OpenSage: Self-programming Agent Generation Engine
di: Li, Hongwei, et al.
Pubblicazione: (2026)