Follow
Toby Murray
Toby Murray
School of Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
Comprehensive formal verification of an OS microkernel
G Klein, J Andronick, K Elphinstone, T Murray, T Sewell, R Kolanski, ...
ACM Transactions on Computer Systems (TOCS) 32 (1), 1-70, 2014
5282014
seL4: from General Purpose to a Proof of Information Flow Enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
IEEE Symposium on Security and Privacy, 2013
3052013
Cogent: Verifying high-assurance file system implementations
S Amani, A Hixon, Z Chen, C Rizkallah, P Chubb, L O'Connor, J Beeren, ...
ACM SIGARCH Computer Architecture News 44 (2), 175-188, 2016
1372016
The last mile: An empirical study of timing channels on seL4
D Cock, Q Ge, T Murray, G Heiser
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014
1252014
seL4 enforces integrity
T Sewell, S Winwood, P Gammie, T Murray, J Andronick, G Klein
International Conference on Interactive Theorem Proving, 325-340, 2011
1232011
Noninterference for operating system kernels
T Murray, D Matichuk, M Brassil, P Gammie, G Klein
Certified Programs and Proofs: Second International Conference, CPP 2012 …, 2012
862012
Compositional verification and refinement of concurrent value-dependent noninterference
T Murray, R Sison, E Pierzchalski, C Rizkallah
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 417-431, 2016
712016
Eisbach: A proof method language for Isabelle
D Matichuk, T Murray, M Wenzel
Journal of Automated Reasoning 56, 261-282, 2016
692016
Formally verified software in the real world
G Klein, J Andronick, M Fernandez, I Kuz, T Murray, G Heiser
Communications of the ACM 61 (10), 68-77, 2018
612018
Refinement through restraint: Bringing down the cost of verification
L O'Connor, Z Chen, C Rizkallah, S Amani, J Lim, T Murray, Y Nagashima, ...
ACM SIGPLAN Notices 51 (9), 89-102, 2016
602016
Empirically analyzing ethereum's gas mechanism
R Yang, T Murray, P Rimba, U Parampalli
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2019
552019
COVERN: A logic for compositional verification of information flow control
T Murray, R Sison, K Engelhardt
2018 IEEE European Symposium on Security and Privacy (EuroS&P), 16-30, 2018
462018
SecCSL: Security Concurrent Separation Logic
G Ernst, T Murray
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
362019
Empirical study towards a leading indicator for cost of formal software verification
D Matichuk, T Murray, J Andronick, R Jeffery, G Klein, M Staples
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
332015
File systems deserve verification too!
G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, ...
Proceedings of the Seventh Workshop on Programming Languages and Operating …, 2013
332013
Legion: Best-first concolic testing
D Liu, G Ernst, T Murray, BIP Rubinstein
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
31*2020
A Framework for the Automatic Formal Verification of Refinement from Cogent to C
C Rizkallah, J Lim, Y Nagashima, T Sewell, Z Chen, L O’Connor, T Murray, ...
International Conference on Interactive Theorem Proving, 323-340, 2016
312016
It's time for trustworthy systems
G Heiser, T Murray, G Klein
IEEE Security & Privacy 10 (2), 67-70, 2012
292012
An Isabelle proof method language
D Matichuk, M Wenzel, T Murray
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
282014
An empirical research agenda for understanding formal methods productivity
R Jeffery, M Staples, J Andronick, G Klein, T Murray
Information and software technology 60, 102-112, 2015
262015
The system can't perform the operation now. Try again later.
Articles 1–20