Proofs about the soundness and timing properties of CT-Wasm - View it on GitHub