John DeTreville

Proceedings 2002 IEEE Symposium on Security and Privacy · 2002

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

Whom John DeTreville trusts overall

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

  1. Trevor Jim

Who trusts John DeTreville overall

  1. Michael Backes
  2. Ninghui Li
  3. John C. Mitchell
  4. Adam Barth
  5. Martín Abadi
  6. Anupam Datta
  7. Helen Nissenbaum

Papers from John DeTreville's perspective

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

  1. SD3: a trust management system with certified evaluation (Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001)
  2. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  5. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Automatically validating temporal safety properties of interfaces (SPIN)
  7. Access control meets public key infrastructure, or: assigning roles to strangers (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
  8. Bugs as deviant behavior: a general approach to inferring errors in systems code

Their papers