David Cock

seL4

Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations

Computing, Computer Engineering, Computer Science +11

A survey of microarchitectural timing attacks and countermeasures on contemporary hardware

Qian Ge, Yuval Yarom, David Cock et al. · Journal of Cryptographic Engineering · 2016 · 355 citations

Engineering, Computer Engineering, Computer Science +14

seL4

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations

Computing, Computer Engineering, Computer Science +11

The Last Mile

David Cock, Qian Ge, Toby Murray et al. · 2014 · 74 citations

Computing, Cloud Computing, Computer Science +14

Running the manual

Philip Derrin, Kevin Elphinstone, Gerwin Klein et al. · 2006 · 43 citations

Computing, Computer Science, Computer Systems +17