Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: toward linux kernel memory safety .
From Collision To Exploitation: Unleashing Use-After-Free Vulnerabilities in Linux Kernel
An efficient and backwards-compatible transformation to ensure memory safety of C programs
Fuzzing the Linux kernel
Safe memory-leak fixing for C programs
Faults in linux: ten years later
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
Linux Kernel Developer Responses to Static Analysis Bug Reports
SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes
Generic virtual memory management for operating system kernels
A Fine-Grained Control Flow Integrity Approach Against Runtime Memory Attacks for Embedded Systems
CPU transparent protection of OS kernel and hypervisor integrity with programmable DRAM
Lightweight Capability Domains : Decomposing the Linux Kernel
kR^X: Comprehensive Kernel Protection against Just-In-Time Code Reuse
Memsherlock: an automated debugger for unknown memory corruption vulnerabilities
Enforcing Least Privilege Memory Views for Multithreaded Applications
Safe kernel extensions without run-time checking
ASLR-Guard: Stopping Address Space Leakage for Code Reuse Attacks
Tolerating malicious device drivers in Linux
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
Hyperkernel: Push-Button Verification of an OS Kernel
How to shadow every byte of memory used by a program
Resource Constrained Offloading in Fog Computing
Optimal attack trajectory for Hypersonic Boost-Glide Missile in maximum reachable domain
Highly variable cutis laxa resulting from a dominant splicing mutation of the elastin gene.
Towards using blockchain technology for eHealth data access management