Toby C. Murray

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 25

Top Venues

CoRR

ITP

Arch. Formal Proofs

CCS

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Gernot Heiser, Gerwin Klein, Toby C. Murray
Can We Prove Time Protection? HotOS (2019)
Robert Sison, Toby C. Murray
Verifying that a compiler preserves concurrent value-dependent information-flow security. CoRR (2019)
Gernot Heiser, Gerwin Klein, Toby C. Murray
Can We Prove Time Protection? CoRR (2019)
James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development (2018)
Toby C. Murray, Paul C. van Oorschot
BP: Formal Proofs, the Fine Print and Side Effects. SecDev (2018)
Gerwin Klein, June Andronick, Matthew Fernandez, Ihor Kuz, Toby C. Murray, Gernot Heiser
Formally verified software in the real world. Commun. ACM 61 (10) (2018)
Toby C. Murray, Robert Sison, Kai Engelhardt
COVERN: A Logic for Compositional Verification of Information Flow Control. EuroS&P (2018)
Toby C. Murray, Andrei Sabelfeld, Lujo Bauer
Special issue on verified information flow security. J. Comput. Secur. 25 (4-5) (2017)
Samuel Grütter, Toby C. Murray
VST-Flow: Fine-grained low-level reasoning about real-world C code. CoRR (2017)
Samuel Grütter, Toby C. Murray
Short Paper: Towards Information Flow Reasoning about Real-World C Code. PLAS@CCS (2017)
Mark R. Beaumont, Jim McCarthy, Toby C. Murray
The cross domain desktop compositor: using hardware-based video compositing for a multi-level secure user interface. ACSAC (2016)
Toby C. Murray, Deian Stefan
PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security. CCS (2016)
Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein
A Framework for the Automatic Formal Verification of Refinement from Cogent to C. ITP (2016)
Sidney Amani, Alex Hixon, Zilin Chen, Christine Rizkallah, Peter Chubb, Liam O'Connor, Joel Beeren, Yutaka Nagashima, Japheth Lim, Thomas Sewell, Joseph Tuong, Gabriele Keller, Toby C. Murray, Gerwin Klein, Gernot Heiser
CoGENT: Verifying High-Assurance File System Implementations. ASPLOS (2016)
Daniel Matichuk, Toby C. Murray, Makarius Wenzel
Eisbach: A Proof Method Language for Isabelle. J. Autom. Reason. 56 (3) (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Security-Preserving Refinement for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
A Dependent Security Type System for Concurrent Imperative Programs. Arch. Formal Proofs 2016 (2016)
Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference. CSF (2016)
Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP (2016)
Liam O'Connor, Christine Rizkallah, Zilin Chen, Sidney Amani, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Alex Hixon, Gabriele Keller, Toby C. Murray, Gerwin Klein
COGENT: Certified Compilation for a Functional Systems Language. CoRR (2016)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein
Refinement through restraint: bringing down the cost of verification. ICFP (2016)
Toby C. Murray
Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. PLAS@ECOOP (2015)
D. Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein, Toby C. Murray
An empirical research agenda for understanding formal methods productivity. Inf. Softw. Technol. 60 (2015)
Sidney Amani, Toby C. Murray
Specifying a Realistic File System. MARS (2015)
Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. ICSE (1) (2015)
Gerwin Klein, June Andronick, Kevin Elphinstone, Toby C. Murray, Thomas Sewell, Rafal Kolanski, Gernot Heiser
Comprehensive formal verification of an OS microkernel. ACM Trans. Comput. Syst. 32 (1) (2014)
Daniel Matichuk, Makarius Wenzel, Toby C. Murray
An Isabelle Proof Method Language. ITP (2014)
David Cock, Qian Ge, Toby C. Murray, Gernot Heiser
The Last Mile: An Empirical Study of Timing Channels on seL4. CCS (2014)
Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski
Productivity for proof engineering. ESEM (2014)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Toby C. Murray
On the limits of refinement-testing for model-checking CSP. Formal Aspects Comput. 25 (2) (2013)
Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass
Formal specifications better than function points for code sizing. ICSE (2013)
Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser
File systems deserve verification too! PLOS@SOSP (2013)
Daniel Matichuk, Toby C. Murray
Extensible Specifications for Automatic Re-use of Specifications and Proofs. SEFM (2012)
Gernot Heiser, Toby C. Murray, Gerwin Klein
It's Time for Trustworthy Systems. IEEE Secur. Priv. 10 (2) (2012)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein
Noninterference for Operating System Kernels. CPP (2012)
Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood
Provable Security: How Feasible Is It? HotOS (2011)
Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein
seL4 Enforces Integrity. ITP (2011)
Toby C. Murray, Gavin Lowe
On Refinement-Closed Security Properties and Nondeterministic Compositions. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Toby C. Murray, Gavin Lowe
Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust (2009)
Toby C. Murray, Duncan A. Grove
Non-delegatable authorities in capability systems. J. Comput. Secur. 16 (6) (2008)
Duncan A. Grove, Toby C. Murray, Chris A. Owen, Chris J. North, J. A. Jones, Mark R. Beaumont, Bradley D. Hopkins
An Overview of the Annex System. ACSAC (2007)

Toby C. Murray.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Toby C. Murray