System-level Non-interference for Constant-time Cryptography

Hey, you, get off of my cloud

Thomas Ristenpart, Eran Tromer, Hovav Shacham et al. · 2009 · 2K citations

Computing, Cloud Computing, Cybersecurity +17

seL4

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

Computing, Computer Engineering, Computer Science +11

Program Analysis and Specialization for the C Programming Language

Lars Ole Andersen, Peter Lee · 2005 · 920 citations

Computing, Computer Science, Compilers +10

A unified approach to global program optimization

Gary A. Kildall · 1973 · 901 citations

Computing, Computer Science, Algorithms +16

Formal certification of a compiler back-end or

Xavier Leroy · 2006 · 652 citations

Computing, Computer Engineering, Computer Science +16