3 ms·MSWasm: Soundly enforcing memory-safe execution of unsafe code based on CHERI2 points by fanf2 1y ago