SpecIBT: Formally Verified Protection Against Speculative Control-Flow Hijacking. - Jonathan Baumann; Yonghyun Kim; Yan Farba; Catalin Hritcu; Julay Leatherman-Brooks (CoRR, 2026)