APA (7th ed.) Citation

Derrick, J., Dongol, B., Edmonds, C., Griffin, M., Popescu, A., & Wright, J. (2025). Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL. Journal of Automated Reasoning, 69(4), 1. https://doi.org/10.1007/s10817-025-09744-7

Chicago Style (17th ed.) Citation

Derrick, John, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu, and Jamie Wright. "Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL." Journal of Automated Reasoning 69, no. 4 (2025): 1. https://doi.org/10.1007/s10817-025-09744-7.

MLA (9th ed.) Citation

Derrick, John, et al. "Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL." Journal of Automated Reasoning, vol. 69, no. 4, 2025, p. 1, https://doi.org/10.1007/s10817-025-09744-7.