Toby C. Murray

Artificial Intelligence · 2014

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Toby C. Murray trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Xavier Leroy (in Artificial Intelligence)

Papers from Toby C. Murray's perspective

Ordered by how strongly the researchers Toby C. Murray trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
  2. Formal certification of a compiler back-end or: programming a compiler with a proof assistant (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. Software Verification with BLAST (SPIN)
  4. Language support for fast and reliable message-based communication in singularity OS (European Conference on Computer Systems)
  5. Z3: An Efficient SMT Solver
  6. Preliminary design of the SAFE platform
  7. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  8. seL4: formal verification of an operating-system kernel (Communications of the ACM)
  9. Making information flow explicit in HiStar (USENIX Symposium on Operating Systems Design and Implementation)
  10. SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (Symposium on Operating Systems Principles)

Their papers