Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.
Saved in:
| Title: | Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL. |
|---|---|
| Authors: | Derrick, John1, j.derrick@sheffield.ac.uk, Dongol, Brijesh2, b.dongol@surrey.ac.uk, Edmonds, Chelsea1, c.l.edmonds@sheffield.ac.uk, Griffin, Matt2,3, matthew.griffin@imperial.ac.uk, Popescu, Andrei1, a.popescu@sheffield.ac.uk, Wright, Jamie1, jwright8@sheffield.ac.uk |
| Source: | Journal of Automated Reasoning; Dec2025, Vol. 69 Issue 4, p1-64, 64p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01687433 |
|---|---|
| DOI: | 10.1007/s10817-025-09744-7 |
