TY  - RPRT
TI  - Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond
AU  - Garrett Gu
AU  - Hovav Shacham
PY  - 2023
UR  - https://arxiv.org/abs/2311.14246
ID  - 2311.14246
ER  -