Toby MurrayView profile
Professor
Professor Toby Murray is a leading academic in the School of Computing and Information Systems at the University of Melbourne, Australia. He serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. With a D.Phil. in Computer Science from Oxford University (awarded in 2011), Murray has established himself as a prominent researcher in security and program verification. His research focuses on building highly secure computing systems cost-effectively, with expertise spanning security assessment, vulnerability detection, secure system design, and formal verification. Murray's work bridges theoretical foundations with practical applications, particularly in information flow security for concurrent systems and neural network robustness. Murray's publication record shows a strong trajectory in security and formal methods, with recent work on verified neural network robustness (CAV 2025), EDEFuzz for detecting excessive data exposure (ICSE 2024 Distinguished Paper), and security separation logic for concurrent C programs. His research consistently addresses critical challenges in secure system development, with increasing focus on machine learning security in recent years. Scientific Awards: Distinguished Paper Award at ICSE 2024 for EDEFuzz Murray actively supervises numerous PhD students and has advised many successful researchers who have gone on to faculty positions at institutions including Swansea University and LMU Munich. His service to the community includes being an Associate Editor for IEEE Security & Privacy and ACM Transactions on Privacy and Security, as well as Program Chair for CSF 2025. Murray leads several significant research initiatives including Verisimilar (Verified, Secure Machine Learning), EDEFuzz (Detecting excessive data exposure), and COVERN (Proving information flow security of concurrent programs), demonstrating his commitment to translating theoretical security research into practical tools and methodologies.









