TY  - JOUR

T1  - Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL

JO  - Journal of Automated Reasoning

UR  - https://doi.org/10.1007/s10817-025-09744-7

PY  - 2025/11/18

AU  - Derrick J

AU  - Dongol B

AU  - Edmonds C

AU  - Griffin M

AU  - Popescu A

AU  - Wright J

ED  - 

DO  - DOI: 10.1007/s10817-025-09744-7

PB  - Springer Science and Business Media LLC

VL  - 69

IS  - 4

Y2  - 2025/12/09

ER  -