In recent years, the deployment of many application-level countermeasures against memory
errors and the increasing number of vulnerabilities discovered in the kernel has fostered a …

Avoiding kernel vulnerabilities is critical to achieving security of many systems, because the
kernel is often part of the trusted computing base. This paper evaluates the current state-of …

Whole-system persistence promises simplified application deployment and near-
instantaneous recovery. This can be implemented using single-level store (SLS) through …

This paper describes an operating system (OS) called Theseus. Theseus is the result of
multi-year experimentation to redesign and improve OS modularity by reducing the states …

The security of many applications relies on the kernel being secure, but history suggests that
kernel vulnerabilities are routinely discovered and exploited. In particular, exploitable …

The Linux kernel is the backbone of modern society. When a kernel error is discovered, a
quick remediation is needed. Whereas sanitizers greatly facilitate root cause diagnosis …

Kurmus et al., Attack Surface Metrics and Automated Kernel Tailoring Page 1 © 2013 IBM
Corporation 1 Anil Kurmus February 25th, 2013 – NDSS'13 Anil Kurmus, Reinhard Tartler …

Server systems with large amounts of physical memory can benefit from using some of the
available memory capacity for in-memory snapshots of the ongoing computations. In …

OS kernels are full of bugs resulting in security, reliability, and usability issues. Several
kernel fuzzers have recently been developed to find these bugs and have proven to be …

Well-known defenses exist to detect and mitigate common faults and memory safety
vulnerabilities in software. Yet, many of these mitigations do not address the challenge of …