Galen C. Hunt
Artificial Intelligence · 2006–2014
A researcher in the Science corpus: 4 papers; trusts 4 researchers and is trusted by 18 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 22 citations into it; #9,716 of 35,345 by trust here, #9,870 by citations
- Computer Networks and Communications — 20 citations into it
- Information Systems — 12 citations into it; #1,612 of 8,771 by trust here, #1,933 by citations
- Signal Processing — 10 citations into it; #1,728 of 7,572 by trust here, #1,709 by citations
Whom Galen C. Hunt trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Galen C. Hunt overall
Papers from Galen C. Hunt's perspective
Ordered by how strongly the researchers Galen C. Hunt trusts endorse each paper. Same corpus, a different order for every researcher.
- Flicker: an execution infrastructure for tcb minimization (European Conference on Computer Systems)
- Innovative instructions and software model for isolated execution
- seL4: formal verification of an OS kernel
- Architecture for protecting critical secrets in microprocessors
- Innovative Technology for CPU Based Attestation and Sealing
- An 80-Tile 1.28TFLOPS Network-on-Chip in 65nm CMOS (2007 IEEE International Solid-State Circuits Conference. Digest of Technical Papers)
- Architectural support for copy and tamper resistant software
- Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems (International Conference on Architectural Support for Programming Languages and Operating Systems)
- Design and Implementation of a TCG-based Integrity Measurement Architecture
- Using innovative instructions to create trustworthy software solutions
Their papers
- Shielding Applications from an Untrusted Cloud with Haven (2014) — 871 citations
- Debugging in the (very) large: ten years of implementation and experience (2009) — 215 citations
- Singularity: rethinking the software stack (2007) — 348 citations
- Language support for fast and reliable message-based communication in singularity OS (2006) — 341 citations