-
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