Wolfgang Meier, Martin Jensen, Jean Pichon-Pharabod, Bas Spitters: CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoq. CPP 2025: 127-139