OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Toby Murray
Professor, School of Computing and Information Systems, University of Melbourne
Joined
January 2024
Names
Toby Murray
(Preferred)
,
Toby C. Murray
Emails
****@unimelb.edu.au
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
LinkedIn
Career & Education History
Professor
School of Computing and Information Systems,
University of Melbourne
(unimelb.edu.au)
2025
–
Present
Advisors, Relations & Conflicts
PhD Advisor
Gavin Lowe
2006
–
2010
Expertise
computer security
,
operating systems security
Present
formal program verification
,
programming languages
Present
software security
,
software testing
,
program analysis
Present
Publications
Legion: Best-First Concolic Testing (Competition Contribution)
Dongge Liu
,
Gidon Ernst
,
Toby Murray
,
Benjamin I. P. Rubinstein
2020 (modified: 19 Feb 2025)
FASE 2020
Readers:
Everyone
Legion: Best-First Concolic Testing
Dongge Liu
,
Gidon Ernst
,
Toby Murray
,
Benjamin I. P. Rubinstein
2020 (modified: 19 Feb 2025)
CoRR 2020
Readers:
Everyone
VERONICA: Expressive and Precise Concurrent Information Flow Security (Extended Version with Technical Appendices)
Daniel Schoepe
,
Toby Murray
,
Andrei Sabelfeld
Published: 01 Jan 2020, Last Modified: 05 Oct 2023
CoRR 2020
Readers:
Everyone
VERONICA: Expressive and Precise Concurrent Information Flow Security
Daniel Schoepe
,
Toby Murray
,
Andrei Sabelfeld
Published: 01 Jan 2020, Last Modified: 05 Oct 2023
CSF 2020
Readers:
Everyone
Special issue on verified information flow security
Toby C. Murray
,
Andrei Sabelfeld
,
Lujo Bauer
Published: 01 Jan 2017, Last Modified: 17 May 2023
J. Comput. Secur. 2017
Readers:
Everyone
Co-Authors
Andrei Sabelfeld
Benjamin I. P. Rubinstein
Daniel Schoepe
Dongge Liu
Gidon Ernst
Lujo Bauer