Buchumschlag

Cage: Hardware-Accelerated Safe WebAssembly

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fink, Martin, Stavrakakis, Dimitrios, Sprokholt, Dennis, Chakraborty, Soham, Ekberg, Jan-Erik, Bhatotia, Pramod
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Potential of WebAssembly for Embedded Systems
von: Wallentowitz, Stefan, et al.
Veröffentlicht: (2024)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
von: Paraskevopoulou, Zoe, et al.
Veröffentlicht: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
von: Kang, Byeongjee, et al.
Veröffentlicht: (2025)

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
von: Titzer, Ben L., et al.
Veröffentlicht: (2024)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
von: Andrès, Léo, et al.
Veröffentlicht: (2024)

Multi-modal Learning for WebAssembly Reverse Engineering
von: Huang, Hanxian, et al.
Veröffentlicht: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
von: Baek, Doehyun, et al.
Veröffentlicht: (2024)

Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
von: Kırmemiş, Oğuzcan, 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)

MultiQ: Multi-Programming Neutral Atom Quantum Architectures
von: Romão, Francisco, et al.
Veröffentlicht: (2026)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
von: Shirzad, Mohammad Robati, et al.
Veröffentlicht: (2024)

Confidential Serverless Computing
von: Sabanic, Patrick, et al.
Veröffentlicht: (2025)

Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators
von: Tanaka, Izumi, et al.
Veröffentlicht: (2026)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
von: Chakraborty, Soham, et al.
Veröffentlicht: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
von: Kohn, Florian, et al.
Veröffentlicht: (2025)

Recipe: Hardware-Accelerated Replication Protocols
von: Giantsidi, Dimitra, et al.
Veröffentlicht: (2025)

EAGLE-Pangu: Accelerator-Safe Tree Speculative Decoding on Ascend NPUs
von: Han, Chang, et al.
Veröffentlicht: (2026)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
von: Van Kenhove, Michiel, et al.
Veröffentlicht: (2024)

Unsafe Impedance: Safe Languages and Safe by Design Software
von: Barney, Lee, et al.
Veröffentlicht: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
von: Bachmann, Clemens, et al.
Veröffentlicht: (2024)

Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques
von: Leon, Vasileios, et al.
Veröffentlicht: (2023)

Anvil: A General-Purpose Timing-Safe Hardware Description Language
von: Yu, Jason Zhijingcheng, et al.
Veröffentlicht: (2025)

Range Algebra for Safe Array Splits
von: Perisic, Aleksandar
Veröffentlicht: (2014)

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

Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
von: DeLorenzo, Matthew, et al.
Veröffentlicht: (2025)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

SafeTree: Expressive Tree Policies for Microservices
von: Grewal, Karuna, et al.
Veröffentlicht: (2025)

Roadrunner: Accelerating Data Delivery to WebAssembly-Based Serverless Functions
von: Marcelino, Cynthia, et al.
Veröffentlicht: (2025)

Register Aggregation for Hardware Decompilation
von: Rao, Varun, et al.
Veröffentlicht: (2024)

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

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

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
von: Kan, Shuanglong, et al.
Veröffentlicht: (2026)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Arch: An AI-Native Hardware Description Language for Register-Transfer Clocked Hardware Design
von: Zhao, Shuqing
Veröffentlicht: (2026)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
von: Xiao, Youwei, et al.
Veröffentlicht: (2025)

Rose: Composable Autodiff for the Interactive Web
von: Estep, Sam, et al.
Veröffentlicht: (2024)

Free Foil: Generating Efficient and Scope-Safe Abstract Syntax
von: Kudasov, Nikolai, et al.
Veröffentlicht: (2024)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
von: Leißa, Roland, et al.
Veröffentlicht: (2024)