Prof Toby Murray
Professor
School of Computing and Information Systems
81 Scholarly works
22 Projects
HIGHLIGHTS
2026
Conference Proceedings
Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
DOI: 10.1145/3744916.37732402026
Conference Proceedings
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
DOI: 10.1007/978-3-032-28079-4_102025
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.37317172024
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
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_102025
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.23
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