Prof Toby Murray
Professor
School of Computing and Information Systems
79 Scholarly works
23 Projects
HIGHLIGHTS
2025
Journal article
Towards Reliable Evaluation of Neural Program Repair with Natural Robustness Testing
DOI: 10.1145/37161672025
Conference Proceedings
Trailblazer: Practical End-to-end Web API Fuzzing (Registered Report)
DOI: 10.1145/3713081.37317172025
Journal article
Using Vibration for Secure Pairing With Implantable Medical Devices: Development and Usability Study
DOI: 10.2196/570912025
Conference Proceedings
Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms
DOI: 10.1007/978-3-031-71162-6_102024
Research contracts (non-grants)
Improving the Quality of LLM-Generated Fuzz Drivers
2021
Research Grant
AUSMURI Cohesive and Robust Human-Bot Cybersecurity Teams
2019
Research Grant
Provable Elimination of Information Leakage Through Timing Channels
RECENT SCHOLARLY WORKS
2025
Conference Proceedings
Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference
DOI: 10.18653/v1/2025.acl-long.10682025
Conference Proceedings
A Formally Verified Robustness Certifier for Neural Networks
DOI: 10.1007/978-3-031-98679-6_152024
Conference Proceedings
Elephants Do Not Forget: Differential Privacy with State Continuity for Privacy Budget
DOI: 10.1145/3658644.36702812024
Conference Proceedings
A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras
DOI: 10.4230/LIPIcs.ITP.2024.232024
Conference Proceedings
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels
DOI: 10.1145/3664476.36708762024
Conference Proceedings
EDEFuzz: A Web API Fuzzer for Excessive Data Exposures
DOI: 10.1145/3597503.3608133
RECENT PROJECTS
2025
Research contracts (non-grants)
Defence Science Institute - 2026-2028 - Vic Govt
2024
Research contracts (non-grants)
Defence Science Institute Tasmania Pilot Project