| Verifying secure speculation in Isabelle/HOL M Griffin, B Dongol International Symposium on Formal Methods, 43-60, 2021 | 9 | 2021 |
| Relative security: Formally modeling and (dis) proving resilience against semantic optimization vulnerabilities B Dongol, M Griffin, A Popescu, J Wright 37th IEEE Computer Security Foundations Symposium, CSF 2024, 2024 | 5 | 2024 |
| Proving Memory Access Violations in Isabelle/HOL S Ahmadi, B Dongol, M Griffin Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022 | 2 | 2022 |
| Secret-directed unwinding B Dongol, M Griffin, A Popescu, J Wright Archive of Formal Proofs, May, 2024 | 1 | 2024 |
| Operationally proving memory access violations in Isabelle/HOL S Ahmadi, B Dongol, M Griffin Science of Computer Programming 234, 103088, 2024 | 1 | 2024 |
| Proving Memory Access Violations in Isabelle/HOL (Extended Version) S Ahmadi, B Dongol, M Griffin | 1 | 2022 |
