Yanlin Li

2009–2010

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

Whom Yanlin Li trusts overall

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

  1. Edmund M. Clarke
  2. Jonathan M. McCune
  3. Arvind Seshadri

Who trusts Yanlin Li overall

  1. Victor Costan
  2. Marcus Peinado
  3. Ahmad-Reza Sadeghi
  4. Andrew Baumann
  5. Chia-che Tsai
  6. Yuanzhong Xu

Papers from Yanlin Li's perspective

Ordered by how strongly the researchers Yanlin Li 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. A Tool for Checking ANSI-C Programs (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  3. Protocols for secure computations
  4. Introduction to Modern Cryptography
  5. Design and Implementation of a TCG-based Integrity Measurement Architecture
  6. seL4: formal verification of an OS kernel
  7. IRM enforcement of Java stack inspection (Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000)
  8. SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (Symposium on Operating Systems Principles)
  9. Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (International Conference on Architectural Support for Programming Languages and Operating Systems)
  10. Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)

Their papers