Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL. - Derrick, John; Dongol, Brijesh; Edmonds, Chelsea; Griffin, Matt; Popescu, Andrei; Wright, Jamie (Journal of Automated Reasoning, 2025)