Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond
The article introduces a new compiler-verifier suite based on Wasmtime, preserving the constant-time property throughout all optimization passes. This process provides microarchitectural guarantees with the forthcoming ARM PSTATE.DIT feature. The…
Continue reading