Prof Toby Murray
Professor
School of Computing and Information Systems
82 Scholarly works
22 Projects
HIGHLIGHTS
2026
Conference Proceedings
UIXPOSE: Screen-Conditioned Runtime Discrepancy Analysis for Security-Aware Android GUI Exploration
DOI: 10.1145/3832783.38345562026
Conference Proceedings
Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
DOI: 10.1145/3744916.37732402026
Thesis / Dissertation
Reliable Automatic Software Bug Fixing with Large Language Models: Challenges and Solutions
2026
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_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
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_102025
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.3670281
RECENT PROJECTS
2025
Research contracts (non-grants)
Defence Science Institute - 2026-2028 - Vic Govt