TY  - RPRT
TI  - FSLH: Flexible Mechanized Speculative Load Hardening
AU  - Jonathan Baumann
AU  - Roberto Blanco
AU  - Léon Ducruet
AU  - Sebastian Harwig
AU  - Catalin Hritcu
PY  - 2026
UR  - https://arxiv.org/abs/2502.03203
ID  - 2502.03203
ER  -