TY  - RPRT
TI  - Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
AU  - Owen Conoly
AU  - Andres Erbsen
AU  - Adam Chlipala
PY  - 2025
UR  - https://arxiv.org/abs/2504.15550
ID  - 2504.15550
ER  -