Leendert van Doorn
Artificial Intelligence · 2001–2006
A researcher in the Science corpus: 6 papers; trusts 3 researchers and is trusted by 11 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 9 citations into it; #11,171 of 35,345 by trust here, #10,430 by citations
- Hardware and Architecture — 5 citations into it; #477 of 1,551 by trust here, #595 by citations
Whom Leendert van Doorn trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Leendert van Doorn overall
- Karim Eldefrawy
- Bryan Parno
- Nick L. Petroni Jr.
- Adrian Perrig
- Arvind Seshadri
- Jean-Pierre Hubaux
- Karim M. El Defrawy
- Michael W. Hicks
- Aurélien Francillon
Papers from Leendert van Doorn's perspective
Ordered by how strongly the researchers Leendert van Doorn trusts endorse each paper. Same corpus, a different order for every researcher.
- Terra: a virtual machine-based platform for trusted computing (Symposium on Operating Systems Principles)
- Building the IBM 4758 Secure Coprocessor (Computer)
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Xen and the art of virtualization (Symposium on Operating Systems Principles)
- Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
- Denali: a goal-directed superoptimizer
- Building a MAC-based security architecture for the Xen open-source hypervisor (Asia-Pacific Computer Systems Architecture Conference)
- Safe Hardware Access with the Xen Virtual Machine Monitor
- QEMU, a Fast and Portable Dynamic Translator (USENIX ATC, FREENIX Track)
- Live migration of virtual machines (Symposium on Networked Systems Design and Implementation)
Their papers
- Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems (2005) — 501 citations
- Building a MAC-based security architecture for the Xen open-source hypervisor (2005) — 314 citations
- vTPM: Virtualizing the Trusted Platform Module (2006) — 663 citations
- Design and Implementation of a TCG-based Integrity Measurement Architecture (2004) — 1,216 citations
- SWATT: softWare-based attestation for embedded devices (2004) — 810 citations
- Building the IBM 4758 Secure Coprocessor (2001) — 295 citations