FSLH: Flexible Mechanized Speculative Load Hardening. - Roberto Blanco; Léon Ducruet; Sebastian Harwig; Catalin Hritcu (CoRR, 2025)