• W32.Stuxnet Dossier
  Nicolas Falliere, Liam O Murchu, and Eric Chien, 2011
• Astrée: from Research to Industry
  David Delmas and Jean Souyris, 2007
• Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks
  Hristo Bojinov, Stanford University; Daniel Sanchez and Paul Reber, Northwestern University; Dan Boneh, Stanford University; Patrick Lincoln, SRI, 2012
• Reduced instruction set computers
  David A. Patterson, 1985
• Flipping bits in memory without accessing them: An experimental study of DRAM disturbance errors
  Yoongu Kim; Daly, R.; Kim, J.; Fallin, C.; Ji Hye Lee; Donghyuk Lee; Wilkerson, C.; Lai, K.; Mutlu, O., 2014
• Improving IPC by kernel design
  Jochen Liedtke, 1993
• Singularity: Rethinking the Software Stack
  Galen C. Hunt and James R. Larus, 2007
• From L3 to seL4 – what have we learnt in 20 years of L4 microkernels?
  Kevin Elphinstone and Gernot Heiser, 2013
• Improving SSL Warnings: Comprehension and Adherence
  Adrienne Porter Felt, Alex Ainslie, Robert W. Reeder, Sunny Consolvo, Somas Thyagaraja, Alan Bettes, Helen Harris, Jeff Grimes, 2015???
• A formally verified compiler back-end
  Xavier Leroy, 2009
• Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
  Nan Guan and Wang Yi, 2013
• XFI: software guards for system address spaces
  Úlfar Erlingsson, Martín Abadi, Michael Vrable, Mihai Budiu, George C. Necula, 2006
• Generalizing Overloading for C++2000
  Bjarne Stroustrup, 1998
• The Protection of Information in Computer Systems
  J. H. Saltzer, M. D. Schroeder, 1975
• Cache QoS: From concept to reality in the Intel® Xeon® processor E5-2600 v3 product family
  A. Herdrich; E. Verplanke; P. Autee; R. Illikkal; Ch. Gianos; R. Singhal; R. Iyer, 2016
• A2: Analog Malicious Hardware
  Kaiyuan Yang, Matthew Hicks, Qing Dong, Todd Austin, Dennis Sylvester, 2016
• Differentiating Communication Styles of Leaders on the Linux Kernel Mailing List
  Daniel Schneider et al., 2016
• On the techniques we create, the tools we build, and their misalignments: a study of KLEE
  Eric F. Rizzi et al., 2016
• Using simplicity to control complexity
  Lui Sha, 2001
• Efficient Formal Verification for the Linux Kernel
  Daniel Bristot de Oliveira, Tommaso Cucinotta, Rômulo Silva de Oliveira, 2019