Kevin Elphinstone

Artificial Intelligence · 2009–2014

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

Subfields

Whom Kevin Elphinstone trusts overall

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

  1. Xavier Leroy
  2. Thomas A. Henzinger
  3. Tal Garfinkel
  4. Manuel Fähndrich
  5. Ranjit Jhala

Who trusts Kevin Elphinstone overall

  1. John Harrison
  2. Andrew Baumann
  3. Stuart J. Russell

Papers from Kevin Elphinstone's perspective

Ordered by how strongly the researchers Kevin Elphinstone 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. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  3. The protection of information in computer systems
  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. Software Verification with BLAST (SPIN)
  7. Making information flow explicit in HiStar (USENIX Symposium on Operating Systems Design and Implementation)
  8. Preliminary design of the SAFE platform
  9. The worst-case execution-time problem—overview of methods and survey of tools (TECS)
  10. seL4: formal verification of an operating-system kernel (Communications of the ACM)

Their papers