Brijesh Dongol, Matt Griffin, Andrei Popescu, Jamie Wright. Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities. In 37th IEEE Computer Security Foundations Symposium, CSF 2024, Enschede, Netherlands, July 8-12, 2024. pages 403-418, IEEE, 2024. [doi]
Abstract is missing.