Prof Toby Murray
Professor
School of Computing and Information Systems
80 Scholarly works
23 Projects
HIGHLIGHTS
2026
Book Chapter
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.37317172025
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
Journal article
Using Vibration for Secure Pairing With Implantable Medical Devices: Development and Usability Study
DOI: 10.2196/570912025
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.3670876
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