David A. Cock
Artificial Intelligence · 2009–2016
A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 41 citations into it
- Signal Processing — 20 citations into it
- Computer Networks and Communications — 12 citations into it
- Hardware and Architecture — 9 citations into it
- Computational Theory and Mathematics — 5 citations into it
Whom David A. Cock trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from David A. Cock's perspective
Ordered by how strongly the researchers David A. Cock 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
- FLUSH+RELOAD: A High Resolution, Low Noise, L3 Cache Side-Channel Attack (USENIX Security Symposium)
- Efficient Cache Attacks on AES, and Countermeasures (Journal of Cryptology)
- 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)
- New cache designs for thwarting software cache-based side channel attacks (International Symposium on Computer Architecture)
- Last-Level Cache Side-Channel Attacks are Practical (IEEE Symposium on Security and Privacy)
- Cache Template Attacks: Automating Attacks on Inclusive Last-Level Caches (USENIX Security Symposium)
- DRAMA: Exploiting DRAM Addressing for Cross-CPU Attacks (USENIX Security Symposium)
- CATalyst: Defeating last-level cache side channel attacks in cloud computing (International Symposium on High-Performance 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
- seL4: formal verification of an operating-system kernel (2010) — 346 citations
- seL4: Formal Verification of an OS Kernel (2009)