Copertina

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Andrès, Léo, Marques, Filipe, Carcano, Arthur, Chambart, Pierre, Santos, José Fragoso, Filliâtre, Jean-Christophe
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Potential of WebAssembly for Embedded Systems
di: Wallentowitz, Stefan, et al.
Pubblicazione: (2024)

Cage: Hardware-Accelerated Safe WebAssembly
di: Fink, Martin, et al.
Pubblicazione: (2024)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
di: Titzer, Ben L., et al.
Pubblicazione: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
di: Huang, Hanxian, et al.
Pubblicazione: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
di: Kang, Byeongjee, et al.
Pubblicazione: (2025)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
di: He, Ningyu, et al.
Pubblicazione: (2024)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
di: Baek, Doehyun, et al.
Pubblicazione: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
di: Paraskevopoulou, Zoe, et al.
Pubblicazione: (2024)

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

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

Finding $\forall\exists$ Hyperbugs using Symbolic Execution
di: Correnson, Arthur, et al.
Pubblicazione: (2025)

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

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)

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

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

Concurrent Data Structures Made Easy (Extended Version)
di: Le, Callista, et al.
Pubblicazione: (2024)

Mewz: Lightweight Execution Environment for WebAssembly with High Isolation and Portability using Unikernels
di: Ueda, Soichiro, et al.
Pubblicazione: (2024)

WebAssembly on Resource-Constrained IoT Devices: Performance, Efficiency, and Portability
di: Has, Mislav, et al.
Pubblicazione: (2025)

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

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

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

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

Research on WebAssembly Runtimes: A Survey
di: Zhang, Yixuan, 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)

Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
di: Zeng, Ruiying, et al.
Pubblicazione: (2026)

Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
di: Jiang, Shuyao, et al.
Pubblicazione: (2024)

POWERPOLY: Multilingual Program Analysis with the Aid of WebAssembly
di: Anonymous
Pubblicazione: (2025)

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

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

Revealing the nature of the highly obscured galactic Source igr j16318-4848
di: P. Filliatre
Pubblicazione: (2004)

Large Language Model Powered Symbolic Execution
di: Li, Yihe, et al.
Pubblicazione: (2025)

SequenceLayers: Sequence Processing and Streaming Neural Networks Made Easy
di: Skerry-Ryan, RJ, et al.
Pubblicazione: (2025)

Lumos: Performance Characterization of WebAssembly as a Serverless Runtime in the Edge-Cloud Continuum
di: Marcelino, Cynthia, et al.
Pubblicazione: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
di: Ayoun, Sacha-Élie, et al.
Pubblicazione: (2025)

Derivative-Guided Symbolic Execution
di: Yuan, Yongwei, et al.
Pubblicazione: (2024)

WebAssembly and Unikernels: A Comparative Study for Serverless at the Edge
di: Besozzi, Valerio, et al.
Pubblicazione: (2025)

Defending Buffer Overflows in WebAssembly: A Transpiler Approach
di: Feng, Weiqi
Pubblicazione: (2026)

Wasure: A Modular Toolkit for Comprehensive WebAssembly Benchmarking
di: Carissimi, Riccardo, et al.
Pubblicazione: (2026)