David Kohlbrenner
Artificial Intelligence · 2020
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 22 citations into it
- Signal Processing — 14 citations into it
- Privacy & Security — 5 citations into it
Whom David Kohlbrenner trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from David Kohlbrenner's perspective
Ordered by how strongly the researchers David Kohlbrenner trusts endorse each paper. Same corpus, a different order for every researcher.
- Innovative instructions and software model for isolated execution
- Innovative Technology for CPU Based Attestation and Sealing
- Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
- Shielding Applications from an Untrusted Cloud with Haven
- Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
- TrustVisor: Efficient TCB Reduction and Attestation
- seL4: formal verification of an OS kernel
- This paper is included in the Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’16).
- Intel SGX Explained
- Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Their papers
- Keystone: an open framework for architecting trusted execution environments (2020) — 509 citations