Toby C. Murray
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
13
Active years
2007–2019
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | HotOS | Can We Prove Time Protection? | Gernot Heiser, Gerwin Klein, Toby C. Murray |
| 2017 | CCS | Short Paper: Towards Information Flow Reasoning about Real-World C Code. | Samuel Grtter, Toby C. Murray |
| 2016 | ACSAC | The cross domain desktop compositor: using hardware-based video compositing for a multi-level secure user interface. | Mark R. Beaumont, Jim McCarthy, Toby C. Murray |
| 2016 | ASPLOS | CoGENT: Verifying High-Assurance File System Implementations. | 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 |
| 2016 | CCS | PLAS'16: ACM SIGPLAN 11th Workshop on Programming Languages and Analysis for Security. | Toby C. Murray, Deian Stefan |
| 2016 | ECOOP | Permission and Authority Revisited towards a formalisation. | Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray |
| 2016 | ICFP | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2016 | ITP | A Framework for the Automatic Formal Verification of Refinement from Cogent to C. | Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby C. Murray, Gabriele Keller, Gerwin Klein |
| 2015 | ECOOP | Short Paper: On High-Assurance Information-Flow-Secure Programming Languages. | Toby C. Murray |
| 2015 | ICSE | Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. | Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples |
| 2014 | CCS | The Last Mile: An Empirical Study of Timing Channels on seL4. | David A. Cock, Qian Ge, Toby C. Murray, Gernot Heiser |
| 2014 | ESEM | Productivity for proof engineering. | Mark Staples, D. Ross Jeffery, June Andronick, Toby C. Murray, Gerwin Klein, Rafal Kolanski |
| 2014 | ITP | An Isabelle Proof Method Language. | Daniel Matichuk, Makarius Wenzel, Toby C. Murray |
| 2013 | ICSE | Formal specifications better than function points for code sizing. | Mark Staples, Rafal Kolanski, Gerwin Klein, Corey Lewis, June Andronick, Toby C. Murray, D. Ross Jeffery, Len Bass |
| 2013 | SP | seL4: From General Purpose to a Proof of Information Flow Enforcement. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein |
| 2013 | SOSP | File systems deserve verification too! | Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser |
| 2012 | CPP | Noninterference for Operating System Kernels. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein |
| 2012 | SEFM | Extensible Specifications for Automatic Re-use of Specifications and Proofs. | Daniel Matichuk, Toby C. Murray |
| 2011 | HotOS | Provable Security: How Feasible Is It? | Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood |
| 2011 | ITP | seL4 Enforces Integrity. | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein |
| 2007 | ACSAC | An Overview of the Annex System. | Duncan A. Grove, Toby C. Murray, Chris A. Owen, Chris J. North, J. A. Jones, Mark R. Beaumont, Bradley D. Hopkins |