@inproceedings{inproceedings, title  = {{Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities}},

 publisher = {{IEEE}},

 url = {{http://dx.doi.org/10.1109/csf61375.2024.00027 }},

 year = {{2024}},

 month = {{7}},

 author = {{Dongol B and Griffin M and Popescu A and Wright J}},

 doi = {{10.1109/csf61375.2024.00027}},

 volume = {{6664}},

 journal = {{2024 IEEE 37th Computer Security Foundations Symposium (CSF)}},

 pages = {{403-418}},

 note = {{Accessed on 2024/12/26}}}