Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Is Linux kernel oops useful or not
an empirical study of operating system errors .
CPU transparent protection of OS kernel and hypervisor integrity with programmable DRAM
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems
Exploiting an I/OMMU vulnerability
MINIX 3: a highly reliable, self-repairing operating system
Vigilare: toward snoop-based kernel integrity monitor
Preventing Page Faults from Telling Your Secrets
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes
ExOShim : Preventing Memory Disclosure using Execute-Only Kernel Code
kvm: the Linux Virtual Machine Monitor
General Purpose Operating System Support for Multiple Page Sizes
Model checking concurrent linux device drivers
A Provably Secure Operating System.
The Survey of Real Time Operating System: RTOS
Reflections on the History of Operating Systems Research in Fault Tolerance
The Native POSIX Thread Library for Linux
The BORG: Nanoprobing Binaries for Buffer Overreads
TCP Offload Is a Dumb Idea Whose Time Has Come
IncludeOS: A Minimal, Resource Efficient Unikernel for Cloud Services
File-system intrusion detection by preserving MAC DTS: a loadable kernel module based approach for LINUX kernel 2.6.x
Intruder Detection Using Deep Learning and Association Rule Mining
Segmentation with low depth of field images
Type 1 segmental Darier's disease: report of two cases with favourable response to topical retinoids
Evolution in open source software: a case study
Disentangling the Overlap Between Employee Engagement and Passion