Get started
Author

Toby Murray

Observed names: Murray, Toby, T. Murray, T.C. Murray, TOBY MURRAY
Observed institutions: Commonwealth Scientific and Industrial Research Organisation, Defence Science and Technology Group, The University of Melbourne, UNSW Sydney, University of Oxford, Data61
ORCID: 0000-0002-8271-0289
Observed ORCID: 0000-0002-8271-0289
OpenAlex ID: A5043210393
Comprehensive formal verification of an OS microkernel
2014 · Gerwin Klein, June Andronick, et al. · ACM Transactions on Computer Systems · 348
seL4: From General Purpose to a Proof of Information Flow Enforcement
2013 · T. Murray, D. Matichuk, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 205
PDF
seL4 Enforces Integrity
2011 · Thomas Sewell, Simon Winwood, et al. · Lecture notes in computer science · 85
The Last Mile
2014 · David Cock, Qian Ge, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 75
Noninterference for Operating System Kernels
2012 · Toby Murray, Daniel Matichuk, et al. · Lecture notes in computer science · 71
Cogent
2016 · Sidney Amani, Alex Hixon, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 69
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference
2016 · Toby Murray, Robert Sison, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 51
State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing
2022 · Dongge Liu, Van-Thuan Pham, et al. · IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 46
PDF
Empirically Analyzing Ethereum's Gas Mechanism
2019 · Renlord Yang, Toby Murray, et al. · IEEE European Symposium on Security and Privacy Workshops (EuroS&PW) · 42
PDF
Eisbach: A Proof Method Language for Isabelle
2016 · Daniel Matichuk, Toby Murray, et al. · Journal of Automated Reasoning · 42
Formally verified software in the real world
2018 · Gerwin Klein, June Andronick, et al. · Communications of the ACM · 40
PDF
COVERN: A Logic for Compositional Verification of Information Flow Control
2018 · Toby Murray, Robert Sison, et al. · IEEE European Symposium on Security and Privacy · 35
SecCSL: Security Concurrent Separation Logic
2019 · Gidon Ernst, Toby Murray · Lecture notes in computer science · 30
PDF
Legion
2020 · Dongge Liu, Gidon Ernst, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 28
PDF
Refinement through restraint: bringing down the cost of verification
2016 · Liam O'Connor, Zilin Chen, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 26
An Overview of the Annex System
2007 · D. A. Grove, C. A. Owen, et al. · 22
An empirical research agenda for understanding formal methods productivity
2014 · Ross Jeffery, Mark Staples, et al. · Information and Software Technology · 21
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
2015 · Daniel Matichuk, Toby Murray, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 20
An Isabelle Proof Method Language
2014 · Daniel Matichuk, Makarius Wenzel, et al. · Lecture notes in computer science · 20
File systems deserve verification too!
2013 · Gabriele Keller, Toby Murray, et al. · Workshop on Programming Languages and Operating Systems (PLOS) · 20
Beyond the Coverage Plateau: A Comprehensive Study of Fuzz Blockers (Registered Report)
2023 · Wentao Gao, Van-Thuan Pham, et al. · 19
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing
2021 · Van-Thuan Pham, Manh-Dung Nguyen, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 19
Cogent: uniqueness types and certifying compilation
2021 · LIAM O’CONNOR, ZILIN CHEN, et al. · Journal of Functional Programming · 19
PDF
A Framework for the Automatic Formal Verification of Refinement from Cogent to C
2016 · Christine Rizkallah, Japheth Lim, et al. · Lecture notes in computer science · 19
It's Time for Trustworthy Systems
2012 · Gernot Heiser, Toby Murray, et al. · IEEE Security & Privacy · 19
Works count: 131
Citation count: 1,844
H-index: 20
I10-index: 42
Year
Topic
Type