Gernot Heiser
Artificial Intelligence · 2009–2016
A researcher in the Science corpus: 9 papers; trusts 20 researchers and is trusted by 13 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 66 citations into it; #12,035 of 35,345 by trust here, #6,378 by citations
- Signal Processing — 31 citations into it; #4,335 of 7,572 by trust here, #1,629 by citations
- Computer Networks and Communications — 17 citations into it
- Hardware and Architecture — 17 citations into it
- Computational Theory and Mathematics — 9 citations into it
- Computer Vision and Pattern Recognition — 8 citations into it
Whom Gernot Heiser trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Xavier Leroy
- Onur Aciiçmez
- Yinqian Zhang
- Yuval Yarom
- Daniel J. Bernstein
- Dag Arne Osvik
- Thomas A. Henzinger
- Zhenghong Wang
- Eran Tromer
- Gorka Irazoqui Apecechea
Who trusts Gernot Heiser overall
- Young Geun Kim
- Carole-Jean Wu
- Virginia Smith
- Daniel Gruss
- Michael Schwarz
- Moritz Lipp
- Marcus Hähnel
- John Harrison
Papers from Gernot Heiser's perspective
Ordered by how strongly the researchers Gernot Heiser trusts endorse each paper. Same corpus, a different order for every researcher.
- Cache Attacks and Countermeasures: The Case of AES (The Cryptographer's Track at RSA Conference)
- Cache-timing attacks on AES
- Efficient Cache Attacks on AES, and Countermeasures (Journal of Cryptology)
- A method for obtaining digital signatures and public-key cryptosystems
- HomeAlone: Co-residency Detection in the Cloud via Side-Channel Analysis (IEEE Symposium on Security and Privacy)
- On the power of simple branch prediction analysis (ACM Asia Conference on Computer and Communications Security)
- Cross-Tenant Side-Channel Attacks in PaaS Clouds (Conference on Computer and Communications Security)
- S$A: A Shared Cache Attack That Works across Cores and Defies VM Sandboxing -- and Its Application to AES (IEEE Symposium on Security and Privacy)
- FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack (USENIX Security Symposium)
- New cache designs for thwarting software cache-based side channel attacks (International Symposium on Computer Architecture)
Their papers
- seL4: formal verification of an OS kernel (2009) — 1,992 citations
- A survey of microarchitectural timing attacks and countermeasures on contemporary hardware (2016) — 446 citations
- CATalyst: Defeating last-level cache side channel attacks in cloud computing (2016) — 433 citations
- Last-Level Cache Side-Channel Attacks are Practical (2015) — 1,236 citations
- Comprehensive formal verification of an OS microkernel (2014) — 394 citations
- An Analysis of Power Consumption in a Smartphone (2010) — 1,673 citations
- Dynamic voltage and frequency scaling: the laws of diminishing returns (2010) — 475 citations
- seL4: formal verification of an operating-system kernel (2010) — 346 citations
- seL4: Formal Verification of an OS Kernel (2009)