Chris Hawblitzel
Artificial Intelligence · 2006–2017
A researcher in the Science corpus: 3 papers; trusts 5 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 29 citations into it
- Signal Processing — 16 citations into it
- Information Systems — 11 citations into it
- Computational Theory and Mathematics — 7 citations into it
Whom Chris Hawblitzel trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Leslie Lamport
- Miguel Oom Temudo de Castro
- David Detlefs
- Iulian Moraru
- Leonardo de Moura
- K. Rustan
- Barbara H. Liskov
- Brett D. Fleisch
- Greg Nelson
Who trusts Chris Hawblitzel overall
Papers from Chris Hawblitzel's perspective
Ordered by how strongly the researchers Chris Hawblitzel trusts endorse each paper. Same corpus, a different order for every researcher.
- Impossibility of distributed consensus with one faulty process
- Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
- Shielding Applications from an Untrusted Cloud with Haven
- The Chubby lock service for loosely-coupled distributed systems
- Innovative instructions and software model for isolated execution
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- TrustVisor: Efficient TCB Reduction and Attestation
- Architectural support for copy and tamper resistant software
- Intel SGX Explained
- Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Their papers
- Komodo: Using verification to disentangle secure-enclave hardware from software (2017) — 217 citations
- IronFleet: proving practical distributed systems correct (2015) — 434 citations
- Language support for fast and reliable message-based communication in singularity OS (2006) — 341 citations