A Self-certifying Compilation Framework for WebAssembly.

Kedar S. Namjoshi, Anton Xue

Browse the full VMCAI paper archive.