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 - 2025/04/09 ER -