TY  - CONF

T1  - Relative security: formally modeling and (dis)proving resilience against semantic optimization vulnerabilities

JO  - 2024 IEEE 37th Computer Security Foundations Symposium (CSF)

UR  - https://eprints.whiterose.ac.uk/id/eprint/231110

PY  - 2024/09/20

AU  - Dongol B

AU  - Griffin M

AU  - Popescu A

AU  - Wright J

ED  - 

DO  - DOI: 10.1109/csf61375.2024.00027

PB  - Institute of Electrical and Electronics Engineers (IEEE)

SN  - 9798350362046

SP  - 403

EP  - 418

Y2  - 2025/11/27

ER  -