Toby Murray
Scholar

Toby Murray

Google Scholar ID: Bd8pZGgAAAAJ
School of Computing and Information Systems, University of Melbourne
Computer securityformal verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,464
 
H-index
21
 
i10-index
34
 
Publications
20
 
Co-authors
58
list available
Contact
No contact links provided.
Publications
10 items
Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
2026
Cited
0
Lipschitz-Based Robustness Certification Under Floating-Point Execution
2026
Cited
0
Following Dragons: Code Review-Guided Fuzzing
2026
Cited
0
PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models
2026
Cited
0
UIXPOSE: Mobile Malware Detection via Intention-Behaviour Discrepancy Analysis
2025
Cited
0
DynamiQ: Unlocking the Potential of Dynamic Task Allocation in Parallel Fuzzing
2025
Cited
0
PhantomLint: Principled Detection of Hidden LLM Prompts in Structured Documents
2025
Cited
0
A Formally Verified Robustness Certifier for Neural Networks (Extended Version)
2025
Cited
0
Resume (English only)
Co-authors
58 total
Co-author 1
Co-author 1
Gernot Heiser
Gernot Heiser
Professor of Computer Science, University of New South Wales
Co-author 3
Co-author 3
Thomas Sewell
Thomas Sewell
Lecturer, University of New South Wales
Christine Rizkallah
Christine Rizkallah
Senior Lecturer at the University of Melbourne
Co-author 6
Co-author 6
Gidon Ernst
Gidon Ernst
Software and Computational Systems Lab, LMU Munich
Liam O'Connor
Liam O'Connor
The Australian National University and The University of Edinburgh