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).
We use code from
PLSysSec/veriwasm-verification
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|