@inproceedings{inproceedings, title  = {{Relative security: formally modeling and (dis)proving resilience against semantic optimization vulnerabilities}},

 publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/231110 }},

 year = {{2024}},

 month = {{9}},

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

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

 isbn = {{9798350362046}},

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

 pages = {{403-418}},

 note = {{Accessed on 2025/11/27}}}