-
Writing Constant-Time Rust Is Not Enough
How Rust aliasing facts can let LLVM change fixed-load constant-time code into selected-address-load code.
-
Rust MIR Instrumentation
How to inject calls inside MIR
-
(Rust) Pointers provenance is real
Provenance and Rust