TY  - RPRT
TI  - Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
AU  - Jonathan Baumann
AU  - Yonghyun Kim
AU  - Yan Farba
AU  - Catalin Hritcu
AU  - Julay Leatherman-Brooks
PY  - 2026
DO  - 10.1109/csf68417.2026.00036
UR  - https://arxiv.org/abs/2601.22978
ID  - 2601.22978
ER  -