VeriWasm Verification This repository contains the Coq proofs for VeriWasm, our verifier for SFI safety for native-compiled Wasm. Our central proof of SFI safety is in Safety.v (verified_program). Third-party Coq code We use code from coq-lattice Compcert Adam Chlipala's tactics from CPDT coq-record-update