On the public citation graph

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

0 signed · 47 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-36830-1openalex-snapshot

Principles of Security and Trust

inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot

A Formally Verified Compiler Back-end

inferredcites →https://doi.org/10.1109/ms.2011.67openalex-snapshot

Usenix Security Symposium

inferredcites →https://doi.org/10.1109/sp.2013.13openalex-snapshot

SoK: Eternal War in Memory

inferredcites →https://doi.org/10.1109/sp.2015.55openalex-snapshot

Micro-Policies: Formally Verified, Tag-Based Security Monitors

inferredcites →https://doi.org/10.1109/sp.2015.9openalex-snapshot

CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

inferredcites →https://doi.org/10.1109/sp40000.2020.00098openalex-snapshot

Cornucopia: Temporal Safety for CHERI Heaps

inferredcites →https://doi.org/10.1109/tcad.2020.3012647openalex-snapshot

eWASM: Practical Software Fault Isolation for Reliable Embedded Devices

inferredcites →https://doi.org/10.1145/1065887.1065892openalex-snapshot

CCured: type-safe retrofitting of legacy software

inferredcites →https://doi.org/10.1145/1543135.1542504openalex-snapshot

SoftBound

inferredcites →https://doi.org/10.1145/168619openalex-snapshot

Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93

inferredcites →https://doi.org/10.1145/178243.178446openalex-snapshot

Efficient detection of all pointer and array access errors

inferredcites →https://doi.org/10.1145/1837855.1806657openalex-snapshot

CETS

inferredcites →https://doi.org/10.1145/2508859.2516713openalex-snapshot

Low-fat pointers

inferredcites →https://doi.org/10.1145/2980983.2908081openalex-snapshot

Into the depths of C: elaborating the de facto standards

inferredcites →https://doi.org/10.1145/3062341.3062363openalex-snapshot

Bringing the web up to speed with WebAssembly

inferredcites →https://doi.org/10.1145/3140587.3062363openalex-snapshot

Bringing the web up to speed with WebAssembly

inferredcites →https://doi.org/10.1145/3224423openalex-snapshot

Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack

inferredcites →https://doi.org/10.1145/3290380openalex-snapshot

Exploring C semantics and pointer provenance

inferredcites →https://doi.org/10.1145/3352460.3358288openalex-snapshot

CHERIvoke

inferredcites →https://doi.org/10.1145/3442381.3450138openalex-snapshot

An Empirical Study of Real-World WebAssembly Binaries

inferredcites →https://doi.org/10.1145/353323.353382openalex-snapshot

Enforceable security policies

inferredcites →https://doi.org/10.1145/3554344openalex-snapshot

Reproduction Package for "MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code"

inferredcites →https://doi.org/10.14722/ndss.2015.23238openalex-snapshot

Preventing Use-after-free with Dangling Pointers Nullification

inferredcites →https://doi.org/10.1561/3300000013openalex-snapshot

Principles and Implementation Techniques of Software-Based Fault Isolation

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_12openalex-snapshot

Flexible Runtime Security Enforcement with Tagged C

inferred← citeshttps://doi.org/10.1016/j.cosrev.2025.100728openalex-snapshot

WebAssembly and security: A review

inferred← citeshttps://doi.org/10.1016/j.sysarc.2025.103666openalex-snapshot

WASP: Stack protection for WebAssembly

inferred← citeshttps://doi.org/10.1109/access.2025.3650447openalex-snapshot

WARD: Efficient Memory Protection for WebAssembly on Tiny Embedded Systems

inferred← citeshttps://doi.org/10.1109/cgo57630.2024.10444855openalex-snapshot

Whose Baseline Compiler is it Anyway?

inferred← citeshttps://doi.org/10.1109/csf61375.2024.00025openalex-snapshot

Wappler: Sound Reachability Analysis for WebAssembly

inferred← citeshttps://doi.org/10.1109/rtas65571.2025.00042openalex-snapshot

Silverline: Lightweight Virtualization and Orchestration of Distributed Systems

inferred← citeshttps://doi.org/10.1109/sp63933.2026.00115openalex-snapshot

Best of Both Worlds: Effective Foreign Bridge Identification in V8 Embedders for Security Analysis

inferred← citeshttps://doi.org/10.1145/3576915.3623205openalex-snapshot

Put Your Memory in Order: Efficient Domain-based Memory Isolation for WASM Applications

inferred← citeshttps://doi.org/10.1145/3591265openalex-snapshot

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

inferred← citeshttps://doi.org/10.1145/3650212.3680358openalex-snapshot

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation

inferred← citeshttps://doi.org/10.1145/3656444openalex-snapshot

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly

inferred← citeshttps://doi.org/10.1145/3658644.3670332openalex-snapshot

On Kernel's Safety in the Spectre Era (And KASLR is Formally Dead)

inferred← citeshttps://doi.org/10.1145/3689722openalex-snapshot

Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly

inferred← citeshttps://doi.org/10.1145/3696443.3708920openalex-snapshot

Cage: Hardware-Accelerated Safe WebAssembly

inferred← citeshttps://doi.org/10.1145/3708493.3712694openalex-snapshot

Secure Scripting with CHERIoT MicroPython

inferred← citeshttps://doi.org/10.1145/3733812.3765536openalex-snapshot

WebAssembly Memory Tagging

inferred← citeshttps://doi.org/10.1145/3733823.3764514openalex-snapshot

Furina: A Light-weight WebAssembly Runtime for ICS

inferred← citeshttps://doi.org/10.1145/3763090openalex-snapshot

Memory-Safety Verification of Open Programs with Angelic Assumptions

inferred← citeshttps://doi.org/10.1145/3774904.3792439openalex-snapshot

Bento: Fine-Grained Memory Isolation for COTS WebAssembly Binaries

inferred← citeshttps://doi.org/10.1145/3808271openalex-snapshot

Iris-WasmFX: Modular Reasoning for Wasm Stack Switching

inferred← citeshttps://doi.org/10.5753/sbseg.2023.233112openalex-snapshot

Uma Estratégia Dinâmica para a Detecção de Anomalias em Binários WebAssembly

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.