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  - http://dx.doi.org/10.1109/csf61375.2024.00027

PY  - 2024/07/08

AU  - Dongol B

AU  - Griffin M

AU  - Popescu A

AU  - Wright J

ED  - 

DO  - DOI: 10.1109/csf61375.2024.00027

PB  - IEEE

VL  - 6664

SP  - 403

EP  - 418

Y2  - 2024/12/23

ER  -