| 2025 | ACL | Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference. | Thanh Le-Cong, Bach Le, Toby Murray |
| 2025 | CAV | A Formally Verified Robustness Certifier for Neural Networks. | James Tobler, Hira Taqdees Syeda, Toby Murray |
| 2025 | ISSTA | Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report). | Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham |
| 2024 | CCS | Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget. | Jiankai Jin, Chitchanok Chuengsatiansup, Toby Murray, Benjamin I. P. Rubinstein, Yuval Yarom, Olga Ohrimenko |
| 2024 | FM | Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. | Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison |
| 2024 | ICSE | EDEFuzz: A Web API Fuzzer for Excessive Data Exposures. | Lianglu Pan, Shaanan Cohney, Toby Murray, Van-Thuan Pham |
| 2024 | ITP | A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras. | Vincent Jackson, Toby Murray, Christine Rizkallah |
| 2023 | CCS | Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications. | Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann |
| 2023 | FM | Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems. | Robert Sison, Scott Buckley, Toby Murray, Gerwin Klein, Gernot Heiser |
| 2023 | ICFEM | Compositional Vulnerability Detection with Insecurity Separation Logic. | Toby Murray, Pengbo Yan, Gidon Ernst |
| 2022 | ISoLA | A Hoare Logic with Regular Behavioral Specifications. | Gidon Ernst, Alexander Knapp, Toby Murray |
| 2020 | FASE | Legion: Best-First Concolic Testing (Competition Contribution). | Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein |
| 2019 | CAV | SecCSL: Security Concurrent Separation Logic. | Gidon Ernst, Toby Murray |
| 2019 | FM | Value-Dependent Information-Flow Security on Weak Memory Models. | Graeme Smith, Nicholas Coughlin, Toby Murray |
| 2019 | ITP | Verifying That a Compiler Preserves Concurrent Value-Dependent Information-Flow Security. | Robert Sison, Toby Murray |
| 2018 | OZCHI | In search of perfect users: towards understanding the usability of converged multi-level secure user interfaces. | Abdullah Issa, Toby Murray, Gidon Ernst |