- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j4 |      | Toby C. Murray: On the limits of refinement-testing for model-checking CSP. Formal Asp. Comput. 25(2): 219-256 (2013) |
| 2012 | ||
| j3 | | Gernot Heiser, Toby C. Murray, Gerwin Klein: It's Time for Trustworthy Systems. IEEE Security & Privacy 10(2): 67-70 (2012) |
| c5 | | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein: Noninterference for Operating System Kernels. CPP 2012: 126-142 |
| c4 | | Daniel Matichuk, Toby C. Murray: Extensible Specifications for Automatic Re-use of Specifications and Proofs. SEFM 2012: 333-341 |
| 2011 | ||
| c3 | | Thomas Sewell, Simon Winwood, Peter Gammie, Toby C. Murray, June Andronick, Gerwin Klein: seL4 Enforces Integrity. ITP 2011: 325-340 |
| 2009 | ||
| j2 | | Toby C. Murray, Gavin Lowe: On Refinement-Closed Security Properties and Nondeterministic Compositions. Electr. Notes Theor. Comput. Sci. 250(2): 49-68 (2009) |
| c2 | | Toby C. Murray, Gavin Lowe: Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust 2009: 81-95 |
| 2008 | ||
| j1 | | Toby C. Murray, Duncan A. Grove: Non-delegatable authorities in capability systems. Journal of Computer Security 16(6): 743-759 (2008) |
| 2007 | ||
| c1 | | 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: 341-352 |
Colors in the list of coauthors
Last update Mon May 20 14:37:42 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page