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.
Emanuele’s Log
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
Latest posts
Rust MIR Instrumentation
How to inject calls inside MIR
(Rust) Pointers provenance is real
Provenance and Rust